Index: chrome/common/extensions/docs/server2/preview.py |
diff --git a/chrome/common/extensions/docs/server2/preview.py b/chrome/common/extensions/docs/server2/preview.py |
index 1cd4e43281fe89bc2d76c8583b15186d512b91c0..778a45564be84e2403f4e2d89eb01d2f7e62050c 100755 |
--- a/chrome/common/extensions/docs/server2/preview.py |
+++ b/chrome/common/extensions/docs/server2/preview.py |
@@ -69,7 +69,5 @@ if __name__ == '__main__': |
server = HTTPServer(('', int(opts.port)), RequestHandler) |
try: |
server.serve_forever() |
- except KeyboardInterrupt: |
- pass |
finally: |
server.socket.close() |