/** the process id of para_server */
pid_t server_pid;
/** a string that gets filled in by the current audio file selector */
/** the process id of para_server */
pid_t server_pid;
/** a string that gets filled in by the current audio file selector */