git.annexia.org
/
whenjobs.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Copy previous variables / eval result across file reloads.
[whenjobs.git]
/
daemon
/
daemon.ml
diff --git
a/daemon/daemon.ml
b/daemon/daemon.ml
index
ac0f1ff
..
925ad7e
100644
(file)
--- a/
daemon/daemon.ml
+++ b/
daemon/daemon.ml
@@
-192,6
+192,7
@@
and reload_file () =
| exn ->
failwith (Printexc.to_string exn) in
| exn ->
failwith (Printexc.to_string exn) in
+ let s = Whenstate.copy_prev_state !state s in
state := s;
(* Re-evaluate all when jobs. *)
state := s;
(* Re-evaluate all when jobs. *)