if !ErrorMsg.anyErrors then
()
else
- Slave.handleChanges (map #2 diffs)(*;
+ Slave.handleChanges (map #2 diffs);
ignore (Slave.shellF ([Config.rm, " -rf ", Config.tmpDir, ""],
- fn cl => "Temp file cleanup failed: " ^ cl))*)
+ fn cl => "Temp file cleanup failed: " ^ cl))
end)