diff options
| -rw-r--r-- | config/anyterm/anyterm.inc | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/config/anyterm/anyterm.inc b/config/anyterm/anyterm.inc index 9ee43e17..8e45907e 100644 --- a/config/anyterm/anyterm.inc +++ b/config/anyterm/anyterm.inc @@ -77,7 +77,14 @@ anyterm_start () { fi /usr/bin/env \ PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin \ - $anytermd_command + /usr/local/bin/php -q -d auto_prepend_file=config.inc <<ENDOFF + <?php + require_once("globals.inc"); + require_once("functions.inc"); + require_once("anyterm.inc"); + anyterm_install(); + ?> + ENDOFF fi } @@ -104,6 +111,7 @@ EOD; fclose($fd); exec("chmod a-r /usr/local/etc/anyterm.conf ; chmod ug+r /usr/local/etc/anyterm.conf ; killall anytermd"); exec($anytermd_command); + unlink("/usr/local/etc/anyterm.conf"); } |