diff options
| author | foobar <sniper@php.net> | 2003-09-25 14:53:41 +0000 |
|---|---|---|
| committer | foobar <sniper@php.net> | 2003-09-25 14:53:41 +0000 |
| commit | 72de75c99ac9d671ec3e6d9d495afe95d9212d29 (patch) | |
| tree | dcaaa9ac47dde7b06db52a85f46f47759b5fa2ec | |
| parent | 340d891b3e948e45638c2cf11f8638afaad41228 (diff) | |
| download | php-git-72de75c99ac9d671ec3e6d9d495afe95d9212d29.tar.gz | |
This is only needed for Windows.
| -rw-r--r-- | ext/session/mod_files.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ext/session/mod_files.c b/ext/session/mod_files.c index bd5bf660a6..2401763a1a 100644 --- a/ext/session/mod_files.c +++ b/ext/session/mod_files.c @@ -127,7 +127,11 @@ static char *ps_files_path_create(char *buf, size_t buflen, ps_files *data, cons static void ps_files_close(ps_files *data) { if (data->fd != -1) { +#ifdef PHP_WIN32 + /* On Win32 locked files that are closed without being explicitly unlocked + will be unlocked only when "system resources become available". */ flock(data->fd, LOCK_UN); +#endif close(data->fd); data->fd = -1; } |