|
@@ -57,17 +57,17 @@ let reset sctx =
|
|
Hashtbl.clear Timer.htimers;
|
|
Hashtbl.clear Timer.htimers;
|
|
Helper.start_time := get_time()
|
|
Helper.start_time := get_time()
|
|
|
|
|
|
-let after_compilation sctx com has_error =
|
|
|
|
- if has_error || not com.display.dms_full_typing || not com.display.dms_populate_cache then
|
|
|
|
- CommonCache.clear_cache sctx.cs com
|
|
|
|
- else begin
|
|
|
|
|
|
+let after_save sctx com has_error =
|
|
|
|
+ if not has_error && com.display.dms_full_typing && com.display.dms_populate_cache then begin
|
|
CommonCache.cache_context sctx.cs com;
|
|
CommonCache.cache_context sctx.cs com;
|
|
ServerMessage.cached_modules com "" (List.length com.modules);
|
|
ServerMessage.cached_modules com "" (List.length com.modules);
|
|
-
|
|
|
|
- (* TEMP: Wipe server cache to force loading from hxb *)
|
|
|
|
- CommonCache.clear_cache sctx.cs com;
|
|
|
|
end
|
|
end
|
|
|
|
|
|
|
|
+let after_compilation sctx com has_error =
|
|
|
|
+ (* if has_error || not com.display.dms_full_typing || not com.display.dms_populate_cache then *)
|
|
|
|
+ (* TEMP: Wipe server cache to force loading from hxb *)
|
|
|
|
+ CommonCache.clear_cache sctx.cs com
|
|
|
|
+
|
|
let ensure_macro_setup sctx =
|
|
let ensure_macro_setup sctx =
|
|
if not sctx.macro_context_setup then begin
|
|
if not sctx.macro_context_setup then begin
|
|
sctx.macro_context_setup <- true;
|
|
sctx.macro_context_setup <- true;
|