Increase manual refresh timeout, annoying when server busy

This commit is contained in:
Daniel Winzen
2016-11-28 16:27:01 +01:00
parent 370c322dc6
commit 87e3864daf

View File

@ -274,7 +274,7 @@ function print_stylesheet($init=false){
echo '.post table,.controls table,.login table{border-spacing:0px;margin-left:auto;margin-right:auto;} .login table{border:2px solid;} .controls{overflow-y:none;} ';
echo '#manualrefresh{display:block;position:fixed;text-align:center;left:25%;width:50%;animation:timeout_messages ';
if(isset($U['refresh'])){
echo $U['refresh']+10;
echo $U['refresh']+20;
}else{
echo '160';
}