1 files changed, 24 insertions, 0 deletions
diff --git a/scripts/commandline.inc b/scripts/commandline.inc
index 292005dca..8da42873a 100644
--- a/scripts/commandline.inc
+++ b/scripts/commandline.inc
@@ -105,3 +105,27 @@ END_OF_DEFAULT;
 }
 
 require_once INSTALLDIR . '/lib/common.php';
+
+set_error_handler('common_error_handler');
+
+function have_option($str)
+{
+   global $options;
+   foreach ($options as $option) {
+       if ($option[0] == $str) {
+          return true;
+       }
+   }
+   return false;
+}
+
+function get_option_value($str)
+{
+   global $options;
+   foreach ($options as $option) {
+       if ($option[0] == $str) {
+          return $option[1];
+       }
+   }
+   return null;
+}
+\ No newline at end of file