Check argument for delete-request

hailihu · hailihu · commit f59f4f2b8e3d · 2025-10-22T15:55:14.000+02:00
diff --git a/ada/ada b/ada/ada
@@ -672,6 +672,7 @@ get_args() {
         ;;
       --delete-request )
         command='delete-request'
+        check_arg $command $2        
         request_id="$2"
         shift ; shift
         ;;          
