summaryrefslogtreecommitdiff
path: root/src/include/miscadmin.h
diff options
context:
space:
mode:
authorPavan Deolasee2015-05-05 09:44:28 +0000
committerPavan Deolasee2015-05-05 09:44:28 +0000
commit0537867b20e4dd149b7925dfb4245d2c41a06ec7 (patch)
treeab04d8a6fd7d537124db8ab57f53c4228cdbb68a /src/include/miscadmin.h
parent175d1e8593ac02bd65ad0c9343d9609012ce0cda (diff)
Fix various merge mistakes uncovered during sanity tests
Diffstat (limited to 'src/include/miscadmin.h')
-rw-r--r--src/include/miscadmin.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/include/miscadmin.h b/src/include/miscadmin.h
index a75a27cd67..ca77e8daca 100644
--- a/src/include/miscadmin.h
+++ b/src/include/miscadmin.h
@@ -441,6 +441,7 @@ extern char *local_preload_libraries_string;
#define LOCK_FILE_LINE_SHMEM_KEY 7
extern void CreateDataDirLockFile(bool amPostmaster);
+extern void ForgetLockFiles();
extern void CreateSocketLockFile(const char *socketfile, bool amPostmaster,
const char *socketDir);
extern void TouchSocketLockFiles(void);