added separate flush interval #13

Merged
brian merged 14 commits from main into release 2023-07-12 14:16:03 +02:00
Showing only changes of commit d872cfde43 - Show all commits
+1 -1
View File
@@ -90,7 +90,7 @@ def event(
if __name__ == '__main__': if __name__ == '__main__':
# setup # setup
initialise_app() initialise_app()
user_id = int(os.getenv('USER_ID', default=0)) user_id = int(os.getenv('USER_ID', default=0))
replicates = int(os.getenv('REPLICATES', default=REPLICATES)) replicates = int(os.getenv('REPLICATES', default=REPLICATES))
trigger_interval = float( trigger_interval = float(