Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
instantaneous cleanup (NB: VIEWER should be synchronous, cf. dd25b3055c4e);
authorwenzelm
Mon, 19 Sep 2011 14:40:38 +0200
changeset 44987 fd3a36e48b09
parent 44986 6f27ecf2a951
child 44988 33aa6da101d8
instantaneous cleanup (NB: VIEWER should be synchronous, cf. dd25b3055c4e);
lib/Tools/display file | annotate | diff | comparison | revisions 
--- a/lib/Tools/display	Mon Sep 19 14:31:20 2011 +0200
+++ b/lib/Tools/display	Mon Sep 19 14:40:38 2011 +0200
@@ -74,7 +74,6 @@
   PRIVATE_FILE="${ISABELLE_TMP:-/tmp}/$$"$(basename "$FILE")
   mv "$FILE" "$PRIVATE_FILE" || fail "Cannot move file: $FILE"
   $VIEWER "$PRIVATE_FILE"
-  sleep 5   #try to avoid races
   rm -f "$PRIVATE_FILE"
 else
   exec $VIEWER "$FILE"
isabelle