()
| 11282 | |
| 11283 | // src/ext/socket.js |
| 11284 | function genUUID() { |
| 11285 | return "xxxxxxxx-xxxx-4xxx-yxxx-xxxxxxxxxxxx".replace(/[xy]/g, function(c) { |
| 11286 | var r = Math.random() * 16 | 0, v = c == "x" ? r : r & 3 | 8; |
| 11287 | return v.toString(16); |
| 11288 | }); |
| 11289 | } |
| 11290 | function parseUrl(url) { |
| 11291 | var finalUrl = url; |
| 11292 | if (finalUrl.startsWith("/")) { |