Function genUUID

src/ext/socket.js:4–10

()

import { Feature } from '../parsetree/base.js';

function genUUID() {
	return "xxxxxxxx-xxxx-4xxx-yxxx-xxxxxxxxxxxx".replace(/[xy]/g, function (c) {
		var r = (Math.random() * 16) | 0,
			v = c == "x" ? r : (r & 0x3) | 0x8;
		return v.toString(16);
	});
}

function parseUrl(url) {
	var finalUrl = url;