| 96107 | } |
| 96108 | |
| 96109 | function createWebWorkerFromString(code){ |
| 96110 | // http://stackoverflow.com/questions/5408406/web-workers-without-a-separate-javascript-file |
| 96111 | var blob; |
| 96112 | try { |
| 96113 | blob = new Blob([code], {type: 'application/javascript'}); |
| 96114 | } catch (e) { // Backwards-compatibility |
| 96115 | var bb = window.BlobBuilder || window.WebKitBlobBuilder || window.MozBlobBuilder; |
| 96116 | blob = new bb(); |
| 96117 | blob.append(code); |
| 96118 | blob = blob.getBlob(); |
| 96119 | } |
| 96120 | var worker; |
| 96121 | var URL = window.URL || window.webkitURL; |
| 96122 | try { |
| 96123 | worker = new Worker(URL.createObjectURL(blob)); |
| 96124 | } catch (e) {}; |
| 96125 | return worker; |
| 96126 | } |
| 96127 | |
| 96128 | function parseOcradResultsFile(raw){ |
| 96129 | var tb; |