Changeset 413 for trunk/bin

Timestamp:

Oct 2, 2012 1:57:05 PM (12 years ago)

Author:

anonymous

Message:

Added header and footer to docs/examples. Updated message printing methods to include before, after, and gotohash options. Minor other fixes.

File:

• trunk/bin/module_maker/module.cli.php (modified) (1 diff)

trunk/bin/module_maker/module.cli.php

@@ -136 +136 @@
 }
 
-// Ensure essential directories exist.
-if (!is_dir("$admin_dir")) {
-    die(basename($_SERVER['argv'][0]) . " Error: admin_dir '$admin_dir' directory not found.\n");
-}
-if (!is_dir("$admin_tpl_dir")) {
-    die(basename($_SERVER['argv'][0]) . " Error: admin_tpl_dir '$admin_tpl_dir' directory not found.\n");
-}
-if (!is_dir("$public_dir")) {
-    die(basename($_SERVER['argv'][0]) . " Error: public_dir '$public_dir' directory not found.\n");
-}
-if (!is_dir("$public_tpl_dir")) {
-    die(basename($_SERVER['argv'][0]) . " Error: public_tpl_dir '$public_tpl_dir' directory not found.\n");
+if (!isset($_SERVER['argv'][4]) || 'var' != $_SERVER['argv'][4]) {
+    // Ensure essential directories exist, except for 'var' op.
+    if (!is_dir("$admin_dir")) {
+        die(basename($_SERVER['argv'][0]) . " Error: admin_dir '$admin_dir' directory not found.\n");
+    }
+    if (!is_dir("$admin_tpl_dir")) {
+        die(basename($_SERVER['argv'][0]) . " Error: admin_tpl_dir '$admin_tpl_dir' directory not found.\n");
+    }
+    if (!is_dir("$public_dir")) {
+        die(basename($_SERVER['argv'][0]) . " Error: public_dir '$public_dir' directory not found.\n");
+    }
+    if (!is_dir("$public_tpl_dir")) {
+        die(basename($_SERVER['argv'][0]) . " Error: public_tpl_dir '$public_tpl_dir' directory not found.\n");
+    }    
 }