diff options
Diffstat (limited to 'contrib/userlock/user_locks.h')
| -rw-r--r-- | contrib/userlock/user_locks.h | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/contrib/userlock/user_locks.h b/contrib/userlock/user_locks.h deleted file mode 100644 index 526e8646615..00000000000 --- a/contrib/userlock/user_locks.h +++ /dev/null @@ -1,19 +0,0 @@ -#ifndef USER_LOCKS_H -#define USER_LOCKS_H - -int user_lock(unsigned int id1, unsigned int id2, LOCKMODE lockmode); -int user_unlock(unsigned int id1, unsigned int id2, LOCKMODE lockmode); -int user_write_lock(unsigned int id1, unsigned int id2); -int user_write_unlock(unsigned int id1, unsigned int id2); -int user_write_lock_oid(Oid oid); -int user_write_unlock_oid(Oid oid); -int user_unlock_all(void); -#endif - -/* - * Local Variables: - * tab-width: 4 - * c-indent-level: 4 - * c-basic-offset: 4 - * End: - */ |