client/js/main.js
changeset 242 570e18094e87
parent 212 ee7b5831d382
child 284 fa8035885814
--- a/client/js/main.js	Wed Jan 15 18:36:27 2014 +0100
+++ b/client/js/main.js	Thu Jan 16 01:28:38 2014 +0100
@@ -327,24 +327,23 @@
         function pad(n){
             return n<10 ? '0'+n : n;
         }
-        function fillrand(n) {
-            var _res = '';
-            for (var i=0; i<n; i++) {
-                _res += Math.floor(16*Math.random()).toString(16);
-            }
-            return _res;
+        function fillrand() {
+            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);
+            });
         }
         var _d = new Date(),
             ID_AUTO_INCREMENT = 0,
             ID_BASE = _d.getUTCFullYear() + '-'  
             + pad(_d.getUTCMonth()+1) + '-'  
             + pad(_d.getUTCDate()) + '-'
-            + fillrand(16);
+            + fillrand();
         return function(_base) {
             var _n = (++ID_AUTO_INCREMENT).toString(16),
                 _base = (typeof _base === "undefined" ? "" : _base + "-" );
             while (_n.length < 4) { _n = '0' + _n; }
-            return _base + this._ID_BASE + '-' + _n;
+            return _base + ID_BASE + '-' + _n;
         }
     })(),
     getFullURL : function(url) {