[MLton-commit] r5120

[Vesa Karvonen]

Increased delay before restart attempt (no point retrying too soon).

----------------------------------------------------------------------

U   mlton/trunk/ide/emacs/esml-du-mlton.el

----------------------------------------------------------------------

Modified: mlton/trunk/ide/emacs/esml-du-mlton.el
===================================================================
--- mlton/trunk/ide/emacs/esml-du-mlton.el	2007-02-04 08:42:19 UTC (rev 5119)
+++ mlton/trunk/ide/emacs/esml-du-mlton.el	2007-02-04 08:46:27 UTC (rev 5120)
@@ -97,7 +97,7 @@
     nil)
    (t
     (esml-du-finalize ctx)
-    (run-with-idle-timer 0.1 nil (function esml-du-reparse) ctx)
+    (run-with-idle-timer 0.5 nil (function esml-du-reparse) ctx)
     nil)))
 
 (defun esml-du-parse (ctx)