From 94eb222cb03bafa89db05cf71c3fe70315aea8d1 Mon Sep 17 00:00:00 2001 From: hneemann Date: Wed, 15 Apr 2020 19:41:24 +0200 Subject: [PATCH] minor changes at the AsyncSequentialClock --- .../neemann/digital/draw/model/AsyncSequentialClock.java | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/main/java/de/neemann/digital/draw/model/AsyncSequentialClock.java b/src/main/java/de/neemann/digital/draw/model/AsyncSequentialClock.java index cbfa04497..1cbc083f0 100644 --- a/src/main/java/de/neemann/digital/draw/model/AsyncSequentialClock.java +++ b/src/main/java/de/neemann/digital/draw/model/AsyncSequentialClock.java @@ -30,10 +30,10 @@ public class AsyncSequentialClock implements ModelStateObserverTyped { /** * Creates a new real time clock * - * @param model the model - * @param asyncSeq the infos used to cofigure the clock - * @param executor the executor used to schedule the update - * @param stopper used to stop the model if an error is detected + * @param model the model + * @param asyncSeq the data used to configure the clock + * @param executor the executor used to schedule the update + * @param stopper used to stop the model if an error is detected */ public AsyncSequentialClock(Model model, AsyncSeq asyncSeq, ScheduledThreadPoolExecutor executor, ErrorStopper stopper) { this.model = model; @@ -80,6 +80,7 @@ public class AsyncSequentialClock implements ModelStateObserverTyped { model.doMicroStep(false); } catch (NodeException | RuntimeException e) { stopper.showErrorAndStopModel(Lang.get("msg_clockError"), e); + } finally { timer.cancel(false); } }