var server__lock_8c =
[
    [ "check_lockfile", "server__lock_8c.html#ac9938f3ac5793f48a20b40a9d99c761f", null ],
    [ "create_lockfile", "server__lock_8c.html#a9a4e61d9a074881adcf845bd284ca9d9", null ],
    [ "server_lock", "server__lock_8c.html#a3a7a671dc73a33bde4e50d33d9f0e3b1", null ],
    [ "itimer", "server__lock_8c.html#a76b070d23b9d12e7d4999d7b0bc29514", null ]
];