287:44eaac2b4501 | 288:d402db1005ad |
---|---|
389 | 389 |
390 shouldStopPolicy = | 390 shouldStopPolicy = |
391 (options.get("shouldStopPolicy") != null) | 391 (options.get("shouldStopPolicy") != null) |
392 ? CompileState.valueOf(options.get("shouldStopPolicy")) | 392 ? CompileState.valueOf(options.get("shouldStopPolicy")) |
393 : null; | 393 : null; |
394 if (options.get("oldDiags") == null) | |
395 log.setDiagnosticFormatter(RichDiagnosticFormatter.instance(context)); | |
394 } | 396 } |
395 | 397 |
396 /* Switches: | 398 /* Switches: |
397 */ | 399 */ |
398 | 400 |