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 | | }}} |
119 | | |
120 | | |
121 | | |
122 | | |