diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2014-03-20 20:55:57 +0100 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2014-03-20 20:55:57 +0100 |
| commit | b0b7909bdd454e9614f4ffe34f384b0da0ce4585 (patch) | |
| tree | 136115bdbe375e52ed91a211b7034d75e0b9fea4 /bin/gittool.php | |
| parent | 99c6702358b65e9f98d1799d261b4dcc7b88d414 (diff) | |
| download | rpg-b0b7909bdd454e9614f4ffe34f384b0da0ce4585.tar.gz rpg-b0b7909bdd454e9614f4ffe34f384b0da0ce4585.tar.bz2 | |
converted some more CLI tools, minor CLI class updates
Diffstat (limited to 'bin/gittool.php')
| -rwxr-xr-x | bin/gittool.php | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/bin/gittool.php b/bin/gittool.php index cb4ef3484..fca76768d 100755 --- a/bin/gittool.php +++ b/bin/gittool.php @@ -1,13 +1,9 @@ #!/usr/bin/php <?php - -if('cli' != php_sapi_name()) die(); -ini_set('memory_limit', '128M'); if(!defined('DOKU_INC')) define('DOKU_INC', realpath(dirname(__FILE__) . '/../') . '/'); define('NOSESSION', 1); require_once(DOKU_INC . 'inc/init.php'); - /** * Easily manage DokuWiki git repositories * @@ -333,6 +329,6 @@ class GitToolCLI extends DokuCLI { } } - -$GitToolCLI = new GitToolCLI(); -$GitToolCLI->run();
\ No newline at end of file +// Main +$cli = new GitToolCLI(); +$cli->run();
\ No newline at end of file |