()
| 64 | |
| 65 | // src/ext/socket.js |
| 66 | function genUUID() { |
| 67 | return "xxxxxxxx-xxxx-4xxx-yxxx-xxxxxxxxxxxx".replace(/[xy]/g, function(c) { |
| 68 | var r = Math.random() * 16 | 0, v = c == "x" ? r : r & 3 | 8; |
| 69 | return v.toString(16); |
| 70 | }); |
| 71 | } |
| 72 | function parseUrl(url) { |
| 73 | var finalUrl = url; |
| 74 | if (finalUrl.startsWith("/")) { |