diff options
| author | Wayne Davison <wayned@users.sourceforge.net> | 2002-02-16 09:21:34 +0000 |
|---|---|---|
| committer | Wayne Davison <wayned@users.sourceforge.net> | 2002-02-16 09:21:34 +0000 |
| commit | d35af383df7bed6fe1ca8cb017264eb9030d2991 (patch) | |
| tree | 51232354cb527bf66cfb3dd8b006eea331926bf4 /Misc/make-zsh-urls | |
| parent | 3fd91a7b905e4447396e22a09ed99b22ea994594 (diff) | |
| download | zsh-d35af383df7bed6fe1ca8cb017264eb9030d2991.tar.gz zsh-d35af383df7bed6fe1ca8cb017264eb9030d2991.tar.xz zsh-d35af383df7bed6fe1ca8cb017264eb9030d2991.zip | |
When savehistfile() rewrites the history file, there was a potential for
losing the entire history file if we couldn't lock the file for reading (it timed out) but we could lock the file for write (and wrote nothing).
Diffstat (limited to 'Misc/make-zsh-urls')
0 files changed, 0 insertions, 0 deletions