equal
deleted
inserted
replaced
633 ) |
633 ) |
634 params = json.dumps(params) |
634 params = json.dumps(params) |
635 |
635 |
636 return html.div(id='wrapper')( |
636 return html.div(id='wrapper')( |
637 html.input(type='submit', id='refresh', value="Refresh"), |
637 html.input(type='submit', id='refresh', value="Refresh"), |
|
638 html.input(type='reset', id='pause', value="Pause"), |
638 html.table(id='hosts')( |
639 html.table(id='hosts')( |
639 html.thead( |
640 html.thead( |
640 html.tr( |
641 html.tr( |
641 html.th('#'), |
642 html.th('#'), |
642 ( |
643 ( |