functions to check options

diff --git a/scripts/commandline.inc b/scripts/commandline.inc
index 292005dcafb7163fbd69219fd17540a4149813de..8da42873a2145af99a4c8d0c3ffa571f924e84e4 100644 (file)
--- 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