diff options
Diffstat (limited to 'shell/bin/editor.php')
| -rw-r--r-- | shell/bin/editor.php | 35 |
1 files changed, 19 insertions, 16 deletions
diff --git a/shell/bin/editor.php b/shell/bin/editor.php index 6eac87e..39db3d8 100644 --- a/shell/bin/editor.php +++ b/shell/bin/editor.php @@ -1,21 +1,24 @@ <?php -function main($args) { - if (isset($_POST['stdin'])) { - if (isset($args[1])) { - file_put_contents($args[1],$_POST['stdin']); +class p_editor extends prog { + public static function main($args, $env) { + if (isset($_POST['stdin'])) { + if (isset($args[1])) { + file_put_contents($args[1],$_POST['stdin']); + } else { + echo $_POST['stdin']; + } } else { - echo $_POST['stdin']; + if (isset($args[1]) && file_exists($args[1])) { + $text = file_get_contents($args[1]); + } else { + $text = ''; + } + echo '<div class="editor">'; + echo '<input type="hidden" name="stddest" value="'.$_POST['c'].'" />'; + echo '<textarea name="stdin">'.$text.'</textarea>'."\n"; + echo '<input type="submit" value="save" />'; + echo '</div>'; } - } else { - if (isset($args[1]) && file_exists($args[1])) { - $text = file_get_contents($args[1]); - } else { - $text = ''; - } - echo '<div class="editor">'; - echo '<input type="hidden" name="stddest" value="'.$_POST['c'].'" />'; - echo '<textarea name="stdin">'.$text.'</textarea>'."\n"; - echo '<input type="submit" value="save" />'; - echo '</div>'; } } + |