/modules/live/shell/exit.cmd.php
PHP | 27 lines | 14 code | 6 blank | 7 comment | 2 complexity | bdc094c35bee7c119412f6df24909fe7 MD5 | raw file
Possible License(s): GPL-3.0
- <?
- //--------------------------------------------------------------------------------------------------
- //| clear the shell history
- //--------------------------------------------------------------------------------------------------
- function live_WebShell_exit($args) {
- $html = "Shutting down... <!-- kshellwindow.exit() -->";
- return $html;
- }
- //--------------------------------------------------------------------------------------------------
- //| manpage for the live.clear command
- //--------------------------------------------------------------------------------------------------
- //opt: short - display command summary [bool]
- function live_WebShell_exit_help($short = false) {
- if (true == $short) { return 'End shell session.'; }
- $html = "
- <b>usage: live.exit</b><br/>
- End the current shell session.<br/>
- ";
- return $html;
- }
- ?>