diff options
| -rw-r--r-- | scripts/commandline.inc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/scripts/commandline.inc b/scripts/commandline.inc index a245b2f16..4a7757fb9 100644 --- a/scripts/commandline.inc +++ b/scripts/commandline.inc @@ -91,22 +91,22 @@ foreach ($options as $option) { switch ($option[0]) { case '--server': - case '-s': + case 's': $server = $option[1]; break; case '--path': - case '-p': + case 'p': $path = $option[1]; break; case '--conf': - case '-c': + case 'c': $conffile = $option[1]; break; case '--help': - case '-h': + case 'h': show_help(); } } |