New Code changes:
Added external port variable to z3client.h
In main.cc, the port is extracted from the arguments and set.
z3client uses the port to connect to the server. It spawns the server and gives it the port as an argument.
z3server uses port number given from command line.
New Code changes: Added external port variable to z3client.h In main.cc, the port is extracted from the arguments and set. z3client uses the port to connect to the server. It spawns the server and gives it the port as an argument. z3server uses port number given from command line.
Please Review.