*/
extern miracle_server miracle_server_init( char * );
+extern const char *miracle_server_id( miracle_server );
extern void miracle_server_set_config( miracle_server, char * );
extern void miracle_server_set_port( miracle_server, int );
extern void miracle_server_set_proxy( miracle_server, char * );