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