|
@@ -0,0 +1,21 @@
|
|
|
+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);
|