Index: Lib/cmd.py
===================================================================
--- Lib/cmd.py	(revision 58221)
+++ Lib/cmd.py	(working copy)
@@ -130,6 +130,9 @@
 line = raw_input(self.prompt)
 except EOFError:
 line = 'EOF'
+ except KeyboardInterrupt:
+ line = 'KeyboardInterrupt'
+
 else:
 self.stdout.write(self.prompt)
 self.stdout.flush()
@@ -403,3 +406,13 @@
 for col in range(len(texts)):
 texts[col] = texts[col].ljust(colwidths[col])
 self.stdout.write("%s\n"%str(" ".join(texts)))
+
+ def do_EOF(self, args):
+ """default implementation for EOF"""
+ self.stdout.write('\n')
+ return True
+
+ def do_KeyboardInterrupt(self, args):
+ """default implementation for CTRL-C"""
+ self.stdout.write('\n')
+ return False
</div><div class="naked_ctrl">
<form action="/index.cgi/contrast" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="https://bugs.python.org/file8568/cmd.diff">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="https://bugs.python.org/file8568/cmd.diff" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast" selected="selected">配色反転</option>
<option value="larger-text">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>