diff options
-rw-r--r-- | misplays.c | 22 |
1 files changed, 13 insertions, 9 deletions
@@ -391,15 +391,19 @@ int main(int argc, char **argv) { char *t = cmd; int en = 1; pid_t tid = 0; - if (t[0] == '!') { - en = -1; - t++; - } else if (t[0] == '#') { - en = 0; - t++; - } else if (t[0] == '@') { - tid = th->id; - t++; + while (1) { + if (t[0] == '!') { + en = -1; + t++; + } else if (t[0] == '#') { + en = 0; + t++; + } else if (t[0] == '@') { + tid = th->id; + t++; + } else { + break; + } } unsigned long address = strtoul(t, NULL, 0); struct breakpoint *b = add_breakpoint(th->proc, address, 0); |