socket_name, socket_path, config_file in Server __init__