diff options
author | Igor Pashev <pashev.igor@gmail.com> | 2015-10-19 15:39:54 +0300 |
---|---|---|
committer | Igor Pashev <pashev.igor@gmail.com> | 2015-10-19 15:39:54 +0300 |
commit | 76d018a8af27653c40229684724c185830b1c482 (patch) | |
tree | 4765d32bae0948b8e929564d6eba54de1675b7a3 /xmlcatalog.c | |
parent | 5beef1c7a526e014a37ca8a422911e574d3e6951 (diff) | |
parent | 76c19f4d5b3328c05649314336d27c1f44a49e96 (diff) | |
download | libxml2-76d018a8af27653c40229684724c185830b1c482.tar.gz |
Merge branch 'master' of git://anonscm.debian.org/debian-xml-sgml/libxml2
Diffstat (limited to 'xmlcatalog.c')
-rw-r--r-- | xmlcatalog.c | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/xmlcatalog.c b/xmlcatalog.c index 43f455a..b9ed6a4 100644 --- a/xmlcatalog.c +++ b/xmlcatalog.c @@ -181,12 +181,13 @@ static void usershell(void) { /* * start interpreting the command */ - if (!strcmp(command, "exit")) - break; - if (!strcmp(command, "quit")) - break; - if (!strcmp(command, "bye")) + if (!strcmp(command, "exit") || + !strcmp(command, "quit") || + !strcmp(command, "bye")) { + free(cmdline); break; + } + if (!strcmp(command, "public")) { if (nbargs != 1) { printf("public requires 1 arguments\n"); |