| 52 | |
| 53 | {{{ |
| 54 | #!html |
| 55 | <html> |
| 56 | <head> |
| 57 | </head> |
| 58 | |
| 59 | <body> |
| 60 | |
| 61 | <div class="webswing-element" data-webswing-instance="webswingInstance0" style="height:400px;"> |
| 62 | <div id="loading" class="ws-modal-container"> |
| 63 | <div class="ws-login"> |
| 64 | <div class="ws-login-content"> |
| 65 | <div class="ws-spinner"><div class="ws-spinner-dot-1"></div> <div class="ws-spinner-dot-2"></div></div> |
| 66 | </div> |
| 67 | </div> |
| 68 | </div> |
| 69 | </div> |
| 70 | |
| 71 | |
| 72 | <script> |
| 73 | var webswingInstance0 = { |
| 74 | options: { |
| 75 | autoStart: true, |
| 76 | args: 'foo', |
| 77 | recording: getParam('recording'), |
| 78 | binarySocket: getParam('binarySocket'), |
| 79 | debugPort: getParam('debugPort'), |
| 80 | recordingPlayback: getParam('recordingPlayback'), |
| 81 | connectionUrl:'http://webswing.ewi.tudelft.nl/traumaontologies/' |
| 82 | } |
| 83 | } |
| 84 | |
| 85 | function getParam(name) { |
| 86 | name = name.replace(/[\[]/, "\\\[").replace(/[\]]/, "\\\]"); |
| 87 | var results = new RegExp("[\\?&]" + name + "=([^&#]*)").exec(location.href); |
| 88 | return results == null ? null : decodeURIComponent(results[1]); |
| 89 | } |
| 90 | </script> |
| 91 | |
| 92 | <script data-webswing-global-var="webswing"> |
| 93 | (function (window, document) { |
| 94 | var loader = function () { |
| 95 | var baseUrl = 'http://webswing.ewi.tudelft.nl/traumaontologies/'; |
| 96 | baseUrl = baseUrl.indexOf("/", baseUrl.length - 1) !== -1 ? baseUrl : (baseUrl + "/"); |
| 97 | var xmlhttp = new XMLHttpRequest(); |
| 98 | xmlhttp.onreadystatechange = function () { |
| 99 | if (xmlhttp.readyState == XMLHttpRequest.DONE) { |
| 100 | var version = xmlhttp.status == 200 ? xmlhttp.responseText : "undefined"; |
| 101 | var script = document.createElement("script"), |
| 102 | tag = document.getElementsByTagName("script")[0]; |
| 103 | script.src = baseUrl + "javascript/webswing-embed.js?version=" + version; |
| 104 | tag.parentNode.insertBefore(script, tag); |
| 105 | } |
| 106 | }; |
| 107 | xmlhttp.open("GET", baseUrl + "rest/version", true); |
| 108 | xmlhttp.send(); |
| 109 | }; |
| 110 | window.addEventListener ? window.addEventListener("load", loader, false) : window.attachEvent("onload", loader); |
| 111 | })(window, document); |
| 112 | </script> |
| 113 | </body> |
| 114 | |
| 115 | |
| 116 | </html> |
| 117 | |
| 118 | }}} |