diff options
Diffstat (limited to 'shell/bin')
| -rw-r--r-- | shell/bin/cd.php | 2 | ||||
| -rw-r--r-- | shell/bin/editor.php | 7 | ||||
| -rw-r--r-- | shell/bin/whoami.php | 2 |
3 files changed, 6 insertions, 5 deletions
diff --git a/shell/bin/cd.php b/shell/bin/cd.php index e8505bd..baf30f3 100644 --- a/shell/bin/cd.php +++ b/shell/bin/cd.php @@ -2,7 +2,7 @@ class p_cd extends prog { public static function main($args, $env) { @$dir = $args[1]; - return php_chdir($dir); + return lts_chdir($dir); } } diff --git a/shell/bin/editor.php b/shell/bin/editor.php index 39db3d8..a136cd2 100644 --- a/shell/bin/editor.php +++ b/shell/bin/editor.php @@ -2,7 +2,8 @@ class p_editor extends prog { public static function main($args, $env) { if (isset($_POST['stdin'])) { - if (isset($args[1])) { + if (false) {//if (isset($args[1])) { + echo $args[0].': saving to `'.$args[1]."'\n"; file_put_contents($args[1],$_POST['stdin']); } else { echo $_POST['stdin']; @@ -14,8 +15,8 @@ class p_editor extends prog { $text = ''; } echo '<div class="editor">'; - echo '<input type="hidden" name="stddest" value="'.$_POST['c'].'" />'; - echo '<textarea name="stdin">'.$text.'</textarea>'."\n"; + echo '<input type="hidden" name="stdout_dest" value="'.$_POST['c'].'" />'; + echo '<textarea name="stdin">'.htmlentities($text).'</textarea>'."\n"; echo '<input type="submit" value="save" />'; echo '</div>'; } diff --git a/shell/bin/whoami.php b/shell/bin/whoami.php index 7e560f2..fd7afa1 100644 --- a/shell/bin/whoami.php +++ b/shell/bin/whoami.php @@ -1,7 +1,7 @@ <?php class p_whoami extends prog { public static function main($args, $env) { - echo get_current_user(); + echo get_current_user()."\n"; } } |