123456789101112131415161718192021 |
- diff -up ./clients/memflush.cc.old ./clients/memflush.cc
- --- ./clients/memflush.cc.old 2017-02-12 10:12:59.615209225 +0100
- +++ ./clients/memflush.cc 2017-02-12 10:13:39.998382783 +0100
- @@ -39,7 +39,7 @@ int main(int argc, char *argv[])
- {
- options_parse(argc, argv);
-
- - if (opt_servers == false)
- + if (!opt_servers)
- {
- char *temp;
-
- @@ -48,7 +48,7 @@ int main(int argc, char *argv[])
- opt_servers= strdup(temp);
- }
-
- - if (opt_servers == false)
- + if (!opt_servers)
- {
- std::cerr << "No Servers provided" << std::endl;
- exit(EXIT_FAILURE);
|