Control: identify known server types
Authored by: Jean-Francois Dockes 2014-10-09
Parent(s): [aedd74]
Child(ren): [26e7a8]