gfse: initial support for grammars in the cloud

This lets the user access the same set of grammars from multiple devices.

Sharing grammars between multiple users is possible but discouraged at the
moment. There is no version handling, so concurrent editing of the same grammar
by different users might result in one user overwriting changes made by
another user. (The same goes for cuncurrent editing on multiple devices by
a single user, of course.)

1 files changed, 10 insertions, 5 deletions

diff --git a/src/editor/simple/save.hs b/src/editor/simple/save.hs
index 01d3ce270..e29287d33 100644
--- a/src/editor/simple/save.hs
+++ b/src/editor/simple/save.hs
@@ -1,12 +1,17 @@
-import Monad(zipWithM_)
+import Monad(zipWithM)
 import System(getArgs)
 
 main = save =<< getArgs
 
 save [dir] =
   do fs@[ns,_] <- readIO =<< getContents
-     save_all fs
-     putStrLn $ unwords [n++".gf"|n<-ns]
+     nes <- save_all fs
+     putStrLn $ unwords nes
   where
-    save_all [ns,cs] = zipWithM_ write1 ns cs
-    write1 n = writeFile (dir++"/"++n++".gf")
+    save_all [ns,cs] = zipWithM write1 ns cs
+    write1 n c = 
+       do writeFile (dir++"/"++ne) c
+          return ne
+      where
+        ne=if '.' `elem` n then n else n++".gf"
+ 
\ No newline at end of file