summaryrefslogtreecommitdiff
path: root/src/editor/simple
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2011-10-11 19:17:47 +0000
committerhallgren <hallgren@chalmers.se>2011-10-11 19:17:47 +0000
commit0aba45560d2033c37c3d2e876e6f3ef89e1554d6 (patch)
treee827ede25cec356e335d1b48f3ab9ec067a32866 /src/editor/simple
parentef079ff93964f8a7b0048352f834f36377e1900f (diff)
More work on support for gfse in "gf -server" mode
Diffstat (limited to 'src/editor/simple')
-rw-r--r--src/editor/simple/cloud2.js10
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); }