equal
deleted
inserted
replaced
472 def ts2dt (ts) : |
472 def ts2dt (ts) : |
473 return datetime.datetime.fromtimestamp(ts) |
473 return datetime.datetime.fromtimestamp(ts) |
474 |
474 |
475 class RealtimeHandler (web.Handler) : |
475 class RealtimeHandler (web.Handler) : |
476 TITLE = "Pseudo-Realtime hosts.." |
476 TITLE = "Pseudo-Realtime hosts.." |
|
477 CSS = web.Handler.CSS + ( |
|
478 'http://code.jquery.com/ui/1.9.0/themes/base/jquery-ui.css', |
|
479 ) |
477 JS = ( |
480 JS = ( |
478 #"/static/jquery/jquery.js", |
481 #"/static/jquery/jquery.js", |
479 'http://code.jquery.com/jquery-1.8.2.js', |
482 'http://code.jquery.com/jquery-1.8.2.js', |
|
483 'http://code.jquery.com/ui/1.9.0/jquery-ui.js', |
480 '/static/js/spin.js', |
484 '/static/js/spin.js', |
481 '/static/hosts.js', |
485 '/static/hosts.js', |
482 ) |
486 ) |
483 |
487 |
484 def process (self) : |
488 def process (self) : |