diff --git a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/FileReloadingService.java b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/FileReloadingService.java index da503c0a9bd2eff6070c4422fdad73ea05a10513..6592a1d031bf1fa5c05b0a06d04cbb2daac52d06 100644 --- a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/FileReloadingService.java +++ b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/FileReloadingService.java @@ -103,7 +103,11 @@ public class FileReloadingService extends TimerTask { try { String content = FileUtils.readFileToString(child.toFile(), Charset.defaultCharset()); CONSOLE_LOGGER.info("Auto-reload {}", child); - Platform.runLater(() -> callbacks.get(child).fileChanged(content)); + Platform.runLater(() -> { + if(callbacks.get(child)!= null) { + callbacks.get(child).fileChanged(content); + } + }); } catch (IOException e) { CONSOLE_LOGGER.catching(e); } catch (NullPointerException npe){