diff options
| author | hallgren <hallgren@chalmers.se> | 2011-11-01 17:45:57 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-11-01 17:45:57 +0000 |
| commit | 42af63414fae6cec2ea6d648464f9475501b2b28 (patch) | |
| tree | 555b36e3237092d19eab5cb7b4bdfb0c44427164 /src/www/gfse/editor.js | |
| parent | 9ba8db6e0a4ddacb77d0754ff12a36244c041deb (diff) | |
gfse: grammar sharing: bug fixes and win32 support
win32 support is untested
Diffstat (limited to 'src/www/gfse/editor.js')
| -rw-r--r-- | src/www/gfse/editor.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js index 859f33a04..95c72d972 100644 --- a/src/www/gfse/editor.js +++ b/src/www/gfse/editor.js @@ -1075,6 +1075,7 @@ function download_from_cloud() { } function download3() { //debug("Uploading local grammars to cloud"); + local.put("dir",newdir); upload_json(download4) } function download4() { |