EOF Handles the receipt of EOF as a command.
(self, arg)
| 1131 | do_exit = do_quit |
| 1132 | |
| 1133 | def do_EOF(self, arg): |
| 1134 | """EOF |
| 1135 | Handles the receipt of EOF as a command. |
| 1136 | """ |
| 1137 | self.message('') |
| 1138 | self._user_requested_quit = True |
| 1139 | self.set_quit() |
| 1140 | return 1 |
| 1141 | |
| 1142 | def do_args(self, arg): |
| 1143 | """a(rgs) |