void devSplit ( FAST char *fullFileName, /* full file name being parsed */ FAST char *devName /* result device name */ ) { FAST int nChars = 0;
if (fullFileName != NULL) { char *p0 = fullFileName; char *p1 = devName;
while ((nChars < 2) && (*p0 != EOS)) { if (*p0 == ':') break;
if (*p0 == '/') nChars++;
*p1++ = *p0++;
} *p1 = EOS;
} else { (void) strcpy (devName, ""); }
}