GUI manage json files

2020-08-24 18:55:51 +02:00
parent 5a271dce1d
commit a110f3f2c5
2 changed files with 7 additions and 4 deletions
--- a/relational/maintenance.py
+++ b/relational/maintenance.py
@@ -107,7 +107,10 @@ class UserInterface:

    def store(self, filename: str, name: str) -> None:
        '''Stores a relation to file.'''
-        raise Exception('Not implemented')
+        if filename.endswith('.csv'):
+            self.relations[name].save_csv(filename)
+        else:
+            self.relations[name].save(filename)

    def session_dump(self, filename: Optional[str] = None) -> Optional[str]:
        '''