diff options
Diffstat (limited to 'contrib/miscutil/misc_utils.h')
-rw-r--r-- | contrib/miscutil/misc_utils.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/contrib/miscutil/misc_utils.h b/contrib/miscutil/misc_utils.h deleted file mode 100644 index 3de5ac70018..00000000000 --- a/contrib/miscutil/misc_utils.h +++ /dev/null @@ -1,10 +0,0 @@ -#ifndef MISC_UTILS_H -#define MISC_UTILS_H - -int backend_pid(void); -int unlisten(char *relname); -int int4max(int x, int y); -int int4min(int x, int y); -int active_listeners(text *relname); - -#endif |