Hacker News new | ask | show | jobs
by ii 6223 days ago
> The only way to then exit is Ctrl-D

Nope.

  >>> __builtins__.exit()