Fix PHP notice when server group is not set, reported by Karl O. Pinc
authorJehan-Guillaume (ioguix) de Rorthais <ioguix@free.fr>
Sun, 30 Sep 2012 20:14:04 +0000 (22:14 +0200)
committerJehan-Guillaume (ioguix) de Rorthais <ioguix@free.fr>
Sun, 30 Sep 2012 20:14:04 +0000 (22:14 +0200)
commit9d036a763286079487d11d42502bf3119d5349df
tree041b97ca3acb72e0efb9cd59ad3b04b3416b8d94
parent75a202d6c372ca7f3c3a12f52bcd53c57cc085a1
Fix PHP notice when server group is not set, reported by Karl O. Pinc
classes/Misc.php