mirror of
https://github.com/hneemann/Digital.git
synced 2025-09-17 00:44:40 -04:00
minor changes at the AsyncSequentialClock
This commit is contained in:
parent
a6f792406f
commit
94eb222cb0
@ -31,7 +31,7 @@ public class AsyncSequentialClock implements ModelStateObserverTyped {
|
|||||||
* Creates a new real time clock
|
* Creates a new real time clock
|
||||||
*
|
*
|
||||||
* @param model the model
|
* @param model the model
|
||||||
* @param asyncSeq the infos used to cofigure the clock
|
* @param asyncSeq the data used to configure the clock
|
||||||
* @param executor the executor used to schedule the update
|
* @param executor the executor used to schedule the update
|
||||||
* @param stopper used to stop the model if an error is detected
|
* @param stopper used to stop the model if an error is detected
|
||||||
*/
|
*/
|
||||||
@ -80,6 +80,7 @@ public class AsyncSequentialClock implements ModelStateObserverTyped {
|
|||||||
model.doMicroStep(false);
|
model.doMicroStep(false);
|
||||||
} catch (NodeException | RuntimeException e) {
|
} catch (NodeException | RuntimeException e) {
|
||||||
stopper.showErrorAndStopModel(Lang.get("msg_clockError"), e);
|
stopper.showErrorAndStopModel(Lang.get("msg_clockError"), e);
|
||||||
|
} finally {
|
||||||
timer.cancel(false);
|
timer.cancel(false);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user