diff options
Diffstat (limited to 'src/ingen')
| -rw-r--r-- | src/ingen/ingen.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ingen/ingen.cpp b/src/ingen/ingen.cpp index a6ba7f41..1e407507 100644 --- a/src/ingen/ingen.cpp +++ b/src/ingen/ingen.cpp @@ -233,6 +233,11 @@ main(int argc, char** argv) if (world->engine()) world->engine()->deactivate(); + // Save configuration to restore preferences on next run + const std::string path = conf.save( + world->uri_map(), "ingen", "options.ttl", Configuration::GLOBAL); + std::cout << (fmt("Saved configuration to %1%") % path) << std::endl; + engine_interface.reset(); delete world; |