<script language="javascript" type="text/javascript" src="/js/jquery-metadata/jquery.metadata.js"></script>
<script language="javascript" type="text/javascript" src="/js/jquery-tablesorter/jquery.tablesorter.js"></script>
<script language="javascript" type="text/javascript" src="/js/jquery-tablesorter/addons/pager/jquery.tablesorter.pager.js"></script>
- <script type="text/javascript">
- $(function() {
- $("#machines").tablesorter({widthFixed: true, widgets: ['zebra']})
- $(".sort").removeAttr("href")
- });
-
- </script>
+ <script language="javascript" type="text/javascript" src="/js/debdb.js"></script>
</head>
<body>