Changeset 7645:8710656c01a8
- Timestamp:
- 11/07/07 21:37:16 (6 years ago)
- Branch:
- default
- Files:
-
- 3 edited
-
sage/dsage/web/index.html (modified) (1 diff)
-
sage/dsage/web/static/dsage_web.js (modified) (2 diffs)
-
setup.py (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
sage/dsage/web/index.html
r7644 r7645 11 11 <script src='static/jquery-latest.js' type='text/javascript'></script> 12 12 <script src='static/jquery.tablesorter.pack.js' type='text/javascript'></script> 13 <script src='static/jquery.history.js' type='text/javascript'></script>14 13 <script src='static/dsage_web.js' type='text/javascript'></script> 15 14 </head> -
sage/dsage/web/static/dsage_web.js
r7644 r7645 1 1 var count = 10; // Default count 2 3 // PageLoad function4 // This function is called when:5 // 1. after calling $.historyInit();6 // 2. after calling $.historyLoad();7 // 3. after pushing "Go Back" button of a browser8 function pageload(hash) {9 // hash doesn't contain the first # character.10 if(hash) {11 // restore ajax loaded state12 $("#load").load(hash + ".html");13 } else {14 // start page15 $("#load").empty();16 }17 }18 2 19 3 function getServerDetails () { … … 55 39 $(document).ready(function() 56 40 { 57 // Initialize history plugin.58 // The callback is called at once by present location.hash.59 $.historyInit(pageload);60 61 // set onlick event for buttons62 $("a[@rel='history']").click(function(){63 //64 var hash = this.href;65 hash = hash.replace(/^.*#/, '');66 // moves to a new page.67 // pageload is called at once.68 $.historyLoad(hash);69 return false;70 });71 72 41 getJobs(count) // Run it the first time 73 42 setInterval('getJobs(count)', 5000); // Update it every 5 seconds. -
setup.py
r7644 r7645 1191 1191 'sage/dsage/web/static/jquery-latest.js', 1192 1192 'sage/dsage/web/static/jquery.tablesorter.pack.js', 1193 'sage/dsage/web/static/jquery.history.js',1194 1193 'sage/dsage/web/static/asc.gif', 1195 1194 'sage/dsage/web/static/desc.gif',
Note: See TracChangeset
for help on using the changeset viewer.
