diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-11 19:17:47 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-11 19:17:47 +0000 |
| commit | 0aba45560d2033c37c3d2e876e6f3ef89e1554d6 (patch) | |
| tree | e827ede25cec356e335d1b48f3ab9ec067a32866 /src/editor/simple | |
| parent | ef079ff93964f8a7b0048352f834f36377e1900f (diff) | |
More work on support for gfse in "gf -server" mode
Diffstat (limited to 'src/editor/simple')
| -rw-r--r-- | src/editor/simple/cloud2.js | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/editor/simple/cloud2.js b/src/editor/simple/cloud2.js index 38210a6f6..e32749dc1 100644 --- a/src/editor/simple/cloud2.js +++ b/src/editor/simple/cloud2.js @@ -21,20 +21,18 @@ function remove_cloud_grammar(g) { function upload(g) { function upload2(dir) { var form=node("form",{method:"post",action:"/cloud"}, - [hidden("dir",dir),hidden("command","upload"), - hidden(g.basename,show_abstract(g))]) + [hidden("dir",dir),hidden("command","make"), + hidden(g.basename+".gf",show_abstract(g))]) var files = [g.basename+".gf"] for(var i in g.concretes) { - var cname=g.basename+g.concretes[i].langcode; - files.push(cname+".gf"); + var cname=g.basename+g.concretes[i].langcode+".gf"; + files.push(cname); form.appendChild(hidden(cname, show_concrete(g.basename)(g.concretes[i]))); } editor.appendChild(form); form.submit(); form.parentNode.removeChild(form); - /* wait until upload is done */ - gfshell("i -retain "+files.join(" "),upload3) } function upload3(message) { if(message) alert(message); } |
