diff options
Diffstat (limited to 'src/www/gfse/cloud2.js')
| -rw-r--r-- | src/www/gfse/cloud2.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/www/gfse/cloud2.js b/src/www/gfse/cloud2.js index 60e57f9ba..8a6f198f3 100644 --- a/src/www/gfse/cloud2.js +++ b/src/www/gfse/cloud2.js @@ -31,10 +31,10 @@ function upload(g) { var form=node("form",{method:"post",action:"/cloud"}, [hidden("dir",dir),hidden("command","make"), hidden(g.basename+".gf",show_abstract(g))]) - var files = [g.basename+".gf"] + //var files = [g.basename+".gf"] for(var i in g.concretes) { var cname=g.basename+g.concretes[i].langcode+".gf"; - files.push(cname); + //files.push(cname); form.appendChild(hidden(cname, show_concrete(g.basename)(g.concretes[i]))); } |