* let's not discriminate unix :) (= generalized paths) * added checks so al...

till

2009-01-09 d4847048a18b0f51107a078add14563ecadf4701

 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';