=== modified file 'src/mailman/runners/rest.py'
--- src/mailman/runners/rest.py	2013-05-30 21:45:45 +0000
+++ src/mailman/runners/rest.py	2013-06-03 08:44:13 +0000
@@ -44,12 +44,14 @@
     is_queue_runner = False
 
     def run(self):
-        log.info('Starting REST server')
         # Handle SIGTERM the same way as SIGINT.
         def stop_server(signum, frame):
             log.info('REST server shutdown')
             sys.exit(signal.SIGTERM)
         signal.signal(signal.SIGTERM, stop_server)
+        return super(RESTRunner, self).run()
+
+    def _one_iteration(self):
         try:
             make_server().serve_forever()
         except KeyboardInterrupt:
@@ -57,8 +59,11 @@
             sys.exit(signal.SIGINT)
         except select.error as (errcode, message):
             if errcode == errno.EINTR:
-                log.info('REST server exiting')
-                sys.exit(errno.EINTR)
+                log.info('REST server restarting')
+                return
             raise
         except:
             raise
+
+    def _snooze(self, filecnt):
+        pass # never sleep after a loop