Community
Participate
Working Groups
if(args) {
memcpy(&commandLine[0], args, strlen(args));
offset=strlen(args)+1;
offset=strlen(args);
} else {
offset=1;
offset = 0;
}
commandLine[offset-1]=' ';
/* Create the command line arguments */
currentParameterNode=(tptp_node_t *) parameters->head;
current++;
/* Move any trailing blanks */
next = current + strlen(current) - 1;
while (next >= current && *next == ' ') {
*next = '\0';
next--;
/* Parse out the args */
i = count = 0; /* reset the counters */
while(!done) {
