Allow graceful client reocnnection on server restart

This commit is contained in:
calzoneman 2013-04-06 15:47:27 -05:00
parent ae5693f3ed
commit 9842d59901
5 changed files with 49 additions and 16 deletions

View file

@ -111,6 +111,20 @@
font-family: Monospace;
}
.server-msg-disconnect {
border: 1px solid #ff0000;
margin: 5px;
padding: 5px;
color: #ff0000;
}
.server-msg-reconnect {
border: 1px solid #009900;
margin: 5px;
padding: 5px;
color: #009900;
}
.poll-notify {
color: #0000aa;
font-weight: bold;