Allow 10 milliseconds to elapse before we'll register another ctrl-c

rather than just 1.


git-svn-id: svn+ssh://src.earth.threerings.net/narya/trunk@2363 542714f4-19e9-0310-aa3c-eee0fc999fb1

src/java/com/threerings/util/signal/SignalManager.java

@@ -1,5 +1,5 @@
 //
-// $Id: SignalManager.java,v 1.1 2003/03/31 02:10:04 mdb Exp $
+// $Id: SignalManager.java,v 1.2 2003/03/31 04:10:03 mdb Exp $
 
 package com.threerings.util.signal;
 
@@ -190,7 +190,7 @@ public class SignalManager
         // we "collapse" those into one call back
         long now = System.currentTimeMillis();
         if (signal == SIGINT) {
-            if (_lastINTed == now) {
+            if (now - _lastINTed < 10) {
                 return;
             } else {
                 _lastINTed = now;