diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-23 18:51:44 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-23 18:51:44 +0000 |
| commit | e0e8f89484efaec39e77e5c645697d311baaa0e4 (patch) | |
| tree | cdf09458cdbd6717854cfb4db81a43412221f264 /src/compiler/SimpleEditor/Convert.hs | |
| parent | 53858fbc81fb2e1844bd43aa579a8b521f4606b5 (diff) | |
gfse: use POST requests when parsing grammar modules after editing as text
instead of GET, to avoid the Apache httpd URI length limitation.
This means that gfse can no longer use JSONP when parsing grammars, so it
has to be located on the same host as the cloud service.
Also clean away trailing white space in support.js.
Diffstat (limited to 'src/compiler/SimpleEditor/Convert.hs')
0 files changed, 0 insertions, 0 deletions