blob: 7030756552a79c0e1290d026e78754645619302e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
HTTP/1.0 200 OK
Content-Type:text/html
<html>
<head>
<link rel="stylesheet" href="/platdoc/platter.css">
<title>distroplat - Content Trawler</title>
</head>
<script language="JavaScript">
<!--
top.document.title = 'Content Trawler - distroplat';
function twat()
{
var risultato='';
for (var j=0; j < document.twatsource.elements.length; j++)
if (document.twatsource.elements[ j ].type == 'checkbox' && document.twatsource.elements[ j ].checked == true )
risultato += document.twatsource.elements[ j ].name + ',';
if ( risultato.length>0 )
{
document.twatform.hosts.value = risultato.slice(0,risultato.length-1);
document.twatform.submit();
}
else
alert( 'Please select some hosts to twat' );
}
// -->
</script>
<body bgcolor="#%BGCOLOUR%" background="/platdoc/img/bars.png">
<h3>Content Trawler</h3>
<p>
Use this to update a server's content. Choose servers from the list below and
hit the button. Minimum time between trawls of a specific server is <b>%MINTRAWL% minutes</b>
for the sake of the children.
</p>
<form name="twatform" method="GET"><input type="hidden" name="hosts" value=""></form>
|
