diff options
| author | hallgren <hallgren@chalmers.se> | 2014-04-06 23:44:31 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-04-06 23:44:31 +0000 |
| commit | a0adabb3a16337ee8ee40e01e5d3b4b12a5faaa0 (patch) | |
| tree | d48a3dd5d3274c0afdff7c3e13297f0f28f17b84 /src | |
| parent | ea67953012f1b8cff1cefc24f91637e29c9b9e87 (diff) | |
Wide coverage demo app: show an error message even if the error string is empty
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/js/wc.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/www/js/wc.js b/src/www/js/wc.js index 85cd1a645..3ba34c64a 100644 --- a/src/www/js/wc.js +++ b/src/www/js/wc.js @@ -94,7 +94,7 @@ wc.translate=function() { if(wc.serial==current) { if(tra.length>=1) { var r=tra[0] - if(r.error) show_error(tra[0].error) + if(r.error!=undefined) show_error(tra[0].error) else if(r.linearizations) { r.text=r.linearizations[0].text // Two server requests in parallel: |