eventman.js 446 B

12345678910111213141516
  1. /** Utilities for EventMan. */
  2. /* getTime method for string to convert them into Date objects. */
  3. String.prototype.getTime = function() {
  4. var ms = Date.parse(this);
  5. return new Date(ms);
  6. };
  7. /* UUID generator. */
  8. function guid() {
  9. function s4() {
  10. return Math.floor((1 + Math.random()) * 0x10000).toString(16).substring(1);
  11. }
  12. return s4() + s4() + '-' + s4() + '-' + s4() + '-' + s4() + '-' + s4() + s4() + s4();
  13. }