This adds a new option to the muscle_manager program to specify that the manager's network location should be written to a given file. If the option is given, the location will not be printed to standard output.
If the option is not given, the location will be printed to standard output as before, except that we now flush the stream so as to make sure it actually ends up with the reader in a finite amount of time.
This adds a new option to the
muscle_manager
program to specify that the manager's network location should be written to a given file. If the option is given, the location will not be printed to standard output.If the option is not given, the location will be printed to standard output as before, except that we now flush the stream so as to make sure it actually ends up with the reader in a finite amount of time.
Addresses #216