Fix a bug in the options parsing that would caused a crash during server launch from a client when no server was previously running. Was a typo in the options looking for "server-name" instead of "name".