0xb00bface 2ab0c99c76 Make sure that LiveJasmin websocket threads are stopped, if a recording is done		2023-05-29 17:01:14 +02:00
..
.settings	Add tests for RecordingPreconditions	2021-06-06 14:09:04 +02:00
src	Make sure that LiveJasmin websocket threads are stopped, if a recording is done	2023-05-29 17:01:14 +02:00
.classpath	Add tests for RecordingPreconditions	2021-06-06 14:09:04 +02:00
.gitignore	Add idea project files to .gitignore	2020-11-21 19:20:01 +01:00
.project	Split up project into client, server, common and master	2018-11-18 22:42:13 +01:00
pom.xml	Make sure that only one recording per model is started and that recordings terminate before shutting down the thread pools	2023-05-29 17:00:22 +02:00