+#if wxUSE_SOCKETS
+ // returns the select()-based socket manager for console applications which
+ // is also used by some ports (wxX11, wxDFB) in the GUI build (hence it is
+ // here and not in wxConsoleAppTraits)
+ virtual wxSocketManager *GetSocketManager();
+#endif