#108: function to generate a UUID

static/js/eventman.js

@@ -6,3 +6,11 @@ String.prototype.getTime = function() {
     return new Date(ms);
 };      
 
+
+/* UUID generator. */
+function guid() {
+    function s4() {
+      return Math.floor((1 + Math.random()) * 0x10000).toString(16).substring(1);
+    }
+    return s4() + s4() + '-' + s4() + '-' + s4() + '-' + s4() + '-' + s4() + s4() + s4();
+}