Logout

Terminate your session on the server and quit the shell.

Command line interface

Syntax

1. $ logout

Arguments

This command takes no arguments.

Example

logout.php

1. <?
3. require("../plugin.php");
5. if (is_ajax()) {
6. if ($_POST["action"] == 'logout') {
7. $_SESSION = array();
8. die("Logout");
9. }
10. exit;
11. }
12. ?>
14. /**
15. * Logout, Exit and Quit
16. **/
17. TinyShell.plugins.logout = new Class({
18. description: "Terminate session",
19. run : function(terminal) {
20. this.t = terminal;
21. terminal.ajax_request(this.print, "<?php echo $_AJAX_URL?>", "action=logout");
22. },
23. print : function(r) {
24. this.t.print("logout");
25. }
26. });
27. // define shortcuts to this function:
28. TinyShell.plugins.exit = TinyShell.plugins.logout;
29. TinyShell.plugins.quit = TinyShell.plugins.logout;