diff options
| author | wei <> | 2007-05-16 01:59:30 +0000 |
|---|---|---|
| committer | wei <> | 2007-05-16 01:59:30 +0000 |
| commit | 0653bf3596c3d7a2abb0b53897588e56bac6a225 (patch) | |
| tree | 655ea5c1122fd986487a89493c0673d5af7e88b8 | |
| parent | c5acb6c053ddf7428c0a56af61e26732a51685d4 (diff) | |
added prado-cli and prado-cli.bat
| -rwxr-xr-x | framework/prado-cli.php | 2 | ||||
| -rw-r--r-- | prado-cli | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/framework/prado-cli.php b/framework/prado-cli.php index 652f0548..18efb651 100755 --- a/framework/prado-cli.php +++ b/framework/prado-cli.php @@ -770,4 +770,4 @@ if(class_exists('PHP_Shell_Commands', false)) include_once(dirname(__FILE__).'/3rdParty/PhpShell/php-shell-cmd.php'); } -?>
\ No newline at end of file +?> @@ -1,3 +1,4 @@ #!/usr/bin/env php <?php -include(dirname(__FILE__).'/framework/prado-cli.php');
\ No newline at end of file +//execute the command line tool +include(dirname(__FILE__).'/framework/prado-cli.php'); |
