Sfoglia il codice sorgente

Merge branch 'development' into hxb_server_cache_simn_cleanup

Simon Krajewski 1 anno fa
parent
commit
3bd582d5d3
1 ha cambiato i file con 1 aggiunte e 1 eliminazioni
  1. 1 1
      src/compiler/displayProcessing.ml

+ 1 - 1
src/compiler/displayProcessing.ml

@@ -48,7 +48,7 @@ let handle_display_argument_old com file_pos actx =
 			| "diagnostics" ->
 				com.report_mode <- RMLegacyDiagnostics [file_unique];
 				let dm = create DMNone in
-				{dm with dms_display_file_policy = DFPAlso; dms_per_file = true; dms_populate_cache = !ServerConfig.populate_cache_from_display}
+				{dm with dms_display_file_policy = DFPOnly; dms_per_file = true; dms_populate_cache = !ServerConfig.populate_cache_from_display}
 			| "statistics" ->
 				com.report_mode <- RMStatistics;
 				let dm = create DMNone in