chiark
/
gitweb
/
~mdw
/
disorder
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Check correctly for the case where no player is found.
[disorder]
/
server
/
dump.c
diff --git
a/server/dump.c
b/server/dump.c
index cdc3a44fc72a57e70eb1f60d823afda31a9e209e..fb0741503808e261ad532481ba32c08a23564017 100644
(file)
--- a/
server/dump.c
+++ b/
server/dump.c
@@
-378,8
+378,8
@@
int main(int argc, char **argv) {
case 'd': dump = 1; break;
case 'u': undump = 1; break;
case 'D': debugging = 1; break;
case 'd': dump = 1; break;
case 'u': undump = 1; break;
case 'D': debugging = 1; break;
- case 'r': recover = TRACKDB_NORMAL_RECOVER;
- case 'R': recover = TRACKDB_FATAL_RECOVER;
+ case 'r': recover = TRACKDB_NORMAL_RECOVER;
break;
+ case 'R': recover = TRACKDB_FATAL_RECOVER;
break;
case 'a': recompute = 1; break;
case 'P': remove_pathless = 1; break;
default: disorder_fatal(0, "invalid option");
case 'a': recompute = 1; break;
case 'P': remove_pathless = 1; break;
default: disorder_fatal(0, "invalid option");