00001 /* 00002 Copyright (C) 2013- The University of Notre Dame 00003 This software is distributed under the GNU General Public License. 00004 See the file COPYING for details. 00005 */ 00006 00007 /* Auxiliary functions for common processing of options */ 00008 00009 #include "getopt.h" 00010 00015 void opts_write_port_file(const char *port_file, const int port); 00016