EOF Handles the receipt of EOF as a command.
(self, arg)
| 2057 | do_exit = do_quit |
| 2058 | |
| 2059 | def do_EOF(self, arg): |
| 2060 | """EOF |
| 2061 | |
| 2062 | Handles the receipt of EOF as a command. |
| 2063 | """ |
| 2064 | self.message('') |
| 2065 | return self.do_quit(arg) |
| 2066 | |
| 2067 | def do_args(self, arg): |
| 2068 | """a(rgs) |