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 }