venti: fix settings in stats
R=rsc
CC=plan9port.codebot
http://codereview.appspot.com/5558054
diff --git a/src/cmd/venti/srv/www/stats.html b/src/cmd/venti/srv/www/stats.html
index e757939..e78c668 100644
--- a/src/cmd/venti/srv/www/stats.html
+++ b/src/cmd/venti/srv/www/stats.html
@@ -6,6 +6,7 @@
<script language="javascript" src="status.js"></script>
</head>
<body bgcolor=#ffffff>
+ <iframe name="hidden" frameborder="0" height="0"></iframe>
<center>
<b>venti.your-domain.com – venti server statistics</b>
diff --git a/src/cmd/venti/srv/www/stats.js b/src/cmd/venti/srv/www/stats.js
index bf8cdbd..fd7fe0d 100644
--- a/src/cmd/venti/srv/www/stats.js
+++ b/src/cmd/venti/srv/www/stats.js
@@ -395,5 +395,5 @@
eval(name+"= \""+value+"\"")
redrawsettings()
// Works in FireFox, not in Safari
- parent.hidden.location.href = "/set/"+name+"/"+value
+ parent.hidden.location.href = "/set?name="+name+"&value="+value
}