Property definitions

gamnit $ RemoteServerConfig :: defaultinit
# Information of the remove server
class RemoteServerConfig

	# Address of the remote server, either a domain name or an Internet address
	var address: Text

	# Listening port of the server
	var port: Int
end
lib/gamnit/network/client.nit:45,1--53,3