diff options
| -rw-r--r-- | scripts/commandline.inc | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/scripts/commandline.inc b/scripts/commandline.inc index a29f58844..6d94a318d 100644 --- a/scripts/commandline.inc +++ b/scripts/commandline.inc @@ -178,6 +178,10 @@ function get_option_value($opt, $alt=null) return null; } +class NoUserArgumentException extends Exception +{ +} + function getUser() { $user = null; @@ -195,8 +199,7 @@ function getUser() throw new Exception("Can't find user with nickname '$nickname'"); } } else { - show_help(); - exit(1); + throw new NoUserArgumentException("No user argument specified."); } return $user; |