Simon Krajewski 9 anni fa
parent
commit
7faeb74063
1 ha cambiato i file con 1 aggiunte e 2 eliminazioni
  1. 1 2
      src/server.ml

+ 1 - 2
src/server.ml

@@ -390,8 +390,6 @@ let rec wait_loop process_params verbose accept =
 		in
 		try
 			let m = CompilationServer.find_module cs (mpath,sign) in
-			(* force reloading of display file *)
-			if m.m_extra.m_file = (!Parser.resume_display).pfile then raise Not_found;
 			let tcheck = Common.timer ["server";"module cache";"check"] in
 			begin match check m with
 			| None -> ()
@@ -448,6 +446,7 @@ let rec wait_loop process_params verbose accept =
 					let fkey = (file,sign) in
 					(* force parsing again : if the completion point have been changed *)
 					CompilationServer.remove_file cs fkey;
+					CompilationServer.taint_modules cs file;
 				end;
 				try
 					if (Hashtbl.find arguments sign) <> ctx.com.class_path then begin