diff options
author | Pavan Deolasee | 2015-05-05 09:44:28 +0000 |
---|---|---|
committer | Pavan Deolasee | 2015-05-05 09:44:28 +0000 |
commit | 0537867b20e4dd149b7925dfb4245d2c41a06ec7 (patch) | |
tree | ab04d8a6fd7d537124db8ab57f53c4228cdbb68a /src/include/miscadmin.h | |
parent | 175d1e8593ac02bd65ad0c9343d9609012ce0cda (diff) |
Fix various merge mistakes uncovered during sanity tests
Diffstat (limited to 'src/include/miscadmin.h')
-rw-r--r-- | src/include/miscadmin.h | 1 |
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); |