- /** Utilities for EventMan. */
- /* getTime method for string to convert them into Date objects. */
- String.prototype.getTime = function() {
- var ms = Date.parse(this);
- 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();
- }
|