Various fixes (cleanups, valgrind, makefiles, ...)

2025-07-30 16:24:05 +03:00 · 2005-02-03 20:48:58 +03:00
parent 84d5b3a332
commit 63acf2a8be
18 changed files with 85 additions and 60 deletions
--- a/server-tools/instance-manager/instance_options.h
+++ b/server-tools/instance-manager/instance_options.h
@ -50,6 +50,7 @@ public:
  pid_t get_pid();
  void get_pid_filename(char *result);
  int unlink_pidfile();
+  void print_argv();

 public:
  /*