Merge branch 'dev' into feature_plugins

This commit is contained in:
Tristan Rowley
2020-02-29 14:31:33 +00:00
2 changed files with 11 additions and 5 deletions

View File

@@ -728,6 +728,7 @@ class Actions(object):
def quit_the_program(self):
self.data._update_json(self.data.SETTINGS_JSON, self.data.settings)
self.video_driver.exit_all_players()
self.exit_openframeworks()
self.exit_osc_server('','')