crash if no argument

diff --git a/os/ReDirTools.cpp b/os/ReDirTools.cpp
index db2032e65754a7f09f3f384e211f83bc81797588..4c0269cb4236e28f25ee0355dc3f555abbbcbcc1 100644 (file)
--- a/os/ReDirTools.cpp
+++ b/os/ReDirTools.cpp
@@ -1343,8 +1343,10 @@ void ReDirTools::statistic(int argc, const char* argv[]){
 int ReDirTools::main(int argc, char* orgArgv[]){
     ReDirTools tools;
     const char** argv = (const char**) orgArgv;
-    if (argc < 2)
+    if (argc < 2){
         tools.help(0, argv);
+        exit(1);
+    }
     argc--;
     argv++;
     const char* arg0 = argv[0];