diff options
author | Jukka Jylänki <jujjyl@gmail.com> | 2013-12-13 18:49:19 +0200 |
---|---|---|
committer | Jukka Jylänki <jujjyl@gmail.com> | 2013-12-14 01:19:23 +0200 |
commit | 9906e87b1b5489fc7a14d335a4c13d77da18d4db (patch) | |
tree | e27f75c6dd4b9be910112b5f12291ef807085d42 /src/emrun_postjs.js | |
parent | 06364d1d983179cda086d0673d28f5f61d265f1c (diff) |
Add machinery that detects whether a html page was built with --emrun command line flag, and print a warning if not done so.
Diffstat (limited to 'src/emrun_postjs.js')
-rw-r--r-- | src/emrun_postjs.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/emrun_postjs.js b/src/emrun_postjs.js index ae8647bd..e1ef9e2d 100644 --- a/src/emrun_postjs.js +++ b/src/emrun_postjs.js @@ -14,5 +14,7 @@ function emrun_register_handlers() { Module['print'] = function emrun_print(text) { post('^out^'+(emrun_http_sequence_number++)+'^'+text); prevPrint(text); } Module['printErr'] = function emrun_printErr(text) { post('^err^'+(emrun_http_sequence_number++)+'^'+text); prevErr(text); } } + // Notify emrun web server that this browser has successfully launched the page. + post('^pageload^'); } emrun_register_handlers(); |