version 1.29, 2013/04/01 16:08:00 |
version 1.30, 2013/11/26 21:08:12 |
|
|
const char *p; |
const char *p; |
|
|
/* Skip leading whitespace. */ |
/* Skip leading whitespace. */ |
for (p = cmd; isspace(*p); ++p) |
for (p = cmd; isspace((unsigned char)*p); ++p) |
; |
; |
|
|
switch (*p) { |
switch (*p) { |
|
|
|
|
p = line; |
p = line; |
/* Go to character after line number. */ |
/* Go to character after line number. */ |
while (isdigit(*p)) |
while (isdigit((unsigned char)*p)) |
++p; |
++p; |
c = *p; |
c = *p; |
*p++ = 0; |
*p++ = 0; |
|
|
|
|
q = p; |
q = p; |
/* Go to character after file2end. */ |
/* Go to character after file2end. */ |
while (isdigit(*p)) |
while (isdigit((unsigned char)*p)) |
++p; |
++p; |
c = *p; |
c = *p; |
*p++ = 0; |
*p++ = 0; |
|
|
|
|
q = p; |
q = p; |
/* Go to character after line number. */ |
/* Go to character after line number. */ |
while (isdigit(*p)) |
while (isdigit((unsigned char)*p)) |
++p; |
++p; |
c = *p; |
c = *p; |
*p++ = 0; |
*p++ = 0; |