venti: fix settings in stats

R=rsc CC=plan9port.codebot http://codereview.appspot.com/5558054
2012-01-20 13:13:30 -05:00 · 2012-01-20 13:13:30 -05:00 · 5d434a3ff3
commit 5d434a3ff3
parent 5c9343753f
2 changed files with 2 additions and 1 deletions
--- 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 &ndash; venti server statistics</b>
--- a/src/cmd/venti/srv/www/stats.js
+++ b/src/cmd/venti/srv/www/stats.js
@ -395,5 +395,5 @@ function set(name, value) {
 	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
 }