diff options
| author | hallgren <hallgren@chalmers.se> | 2012-10-16 22:10:49 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-10-16 22:10:49 +0000 |
| commit | d01e790d95948e972e6531196e8983a7313ddc4e (patch) | |
| tree | 93aa3b4a9918edc853608cd5cb8cb42ae0f10f92 /src/www/gfse/cloud2.js | |
| parent | 4c0c7a994be74b3c9b4d7ae9b2e5b0671e777813 (diff) | |
gfse: identify inherited grammars by their unique id
This helps avoiding problems if an inherited grammar is renamed, or if there
is more than one grammar with the same name.
Diffstat (limited to 'src/www/gfse/cloud2.js')
| -rw-r--r-- | src/www/gfse/cloud2.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/www/gfse/cloud2.js b/src/www/gfse/cloud2.js index b04be451a..d949a6ccc 100644 --- a/src/www/gfse/cloud2.js +++ b/src/www/gfse/cloud2.js @@ -177,7 +177,7 @@ function download_json() { downloading--; var newg=JSON.parse(grammar); debug("Downloaded "+newg.unique_name) - var i=my_grammar(newg.unique_name+".json"); + var i=my_grammar(newg.unique_name); if(i!=null) merge_grammar(i,newg) else { debug("New") |