File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -12,7 +12,7 @@ class Main {
1212 /**
1313 * The version of the program
1414 */
15- public static final VERSION : String = " 3.1.0 " ;
15+ public static final VERSION : String = " 3.1.1 " ;
1616
1717 /**
1818 * The name of the program colored with ANSI escape codes
@@ -22,7 +22,7 @@ class Main {
2222 /**
2323 * The arguments passed to the program
2424 */
25- static final args : Array <String > = Sys .args ();
25+ private static final args : Array <String > = Sys .args ();
2626
2727 /**
2828 * embedded list of commands with their description
@@ -63,7 +63,7 @@ class Main {
6363 MainCompiler .startCompiler (secondArg , thirdArg );
6464 case " --send" | " -s" :
6565 DevKitProUtils .send (secondArg );
66- case " searchProblem" | " -sp" :
66+ case " -- searchProblem" | " -sp" :
6767 DevKitProUtils .searchProblem (secondArg );
6868 case " --help" | " -h" :
6969 Logger .log (commandsInfo , NONE );
@@ -83,4 +83,4 @@ class Main {
8383 private static function get_commandsInfo (): String {
8484 return Resource .getString (" CommandsInfo" );
8585 }
86- }
86+ }
You can’t perform that action at this time.
0 commit comments