Commits

seanmcl  committed deaeaf6

fixed dead-process bug

  • Participants
  • Parent commits 4095199

Comments (0)

Files changed (1)

File omake_server.ml

           Server.logf
             "Can't read env file for %s (%s). Writing new file from bash env."
             (Id.to_string id)
-            (exn_to_string error);
-          (* (Error.to_string_hum error); *)
+            (* (exn_to_string error); *)
+            (Error.to_string_hum error);
           create id
       end
     | false -> create id