diff options
author | Guillermo Ramos | 2015-02-04 22:02:12 +0100 |
---|---|---|
committer | Guillermo Ramos | 2015-02-04 22:02:12 +0100 |
commit | 518ef6fff0d17440b7f19fdaed04061be5096848 (patch) | |
tree | 97db033456fa76e2d4deefcb18a7af141668400d /templates/home.julius | |
parent | e015dcc0af83d5331ec7561fd5bc57c3f3c54ef5 (diff) | |
download | turing-web-518ef6fff0d17440b7f19fdaed04061be5096848.tar.gz |
Showing transitions (horrible mess, needs care)
Diffstat (limited to 'templates/home.julius')
-rw-r--r-- | templates/home.julius | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/templates/home.julius b/templates/home.julius index b454de8..0c33c09 100644 --- a/templates/home.julius +++ b/templates/home.julius @@ -4,7 +4,8 @@ $(function() { bBackward : $("##{rawJS butBackward}"), bTogglePlay : $("##{rawJS butTogglePlay}"), bForward : $("##{rawJS butForward}"), - results : $("##{rawJS results}") + results : $("##{rawJS results}"), + state : $("##{rawJS state}") }; var pollInterval = 10000; var playing = false; @@ -65,7 +66,12 @@ $(function() { }; sock.onmessage = function (e) { // var data = JSON.parse(e.data); - ui.results.html(e.data); + var data = e.data; + if (data[1] === "+") { + ui.state.html(data); + } else { + ui.results.html(data); + } }; sock.onerror = function (e) { alert("ERROR! D: (" + e + ")"); |