* let's not discriminate unix :) (= generalized paths)

* added checks so all scripts are only executable from CLI

1 files changed, 5 insertions, 1 deletions

diff --git a/bin/dumpschema.php b/bin/dumpschema.php
index cbadb00f6..9557c4b15 100644
--- a/bin/dumpschema.php
+++ b/bin/dumpschema.php
@@ -1,6 +1,6 @@
+#!/usr/bin/env php
 <?php
 /*
- #!/usr/bin/php
 
  +-----------------------------------------------------------------------+
  | bin/dumpschema.php                                                    |
@@ -20,6 +20,10 @@
 
 */
 
+if (php_sapi_name() != 'cli') {
+    die('Not on the "shell" (php-cli).');
+}
+
 define('INSTALL_PATH', realpath(dirname(__FILE__) . '/..') . '/' );
 require INSTALL_PATH.'program/include/iniset.php';