diff options
| author | Christoph M. Becker <cmbecker69@gmx.de> | 2019-06-21 13:50:19 +0200 |
|---|---|---|
| committer | Christoph M. Becker <cmbecker69@gmx.de> | 2019-06-21 16:00:47 +0200 |
| commit | eec5d2a25f75c3cacd07f8cb0f88ce3343641528 (patch) | |
| tree | de425528dbeb897c8bcfb3c149dbfce346d06641 /sapi/phpdbg/phpdbg_prompt.c | |
| parent | 1da15600ae145a953b87682a370d940fbe95044a (diff) | |
| download | php-git-eec5d2a25f75c3cacd07f8cb0f88ce3343641528.tar.gz | |
Properly shut down font cache mutex
Since the font cache mutex in set up in MINIT, we have to shut it down
in MSHUTDOWN.
Diffstat (limited to 'sapi/phpdbg/phpdbg_prompt.c')
0 files changed, 0 insertions, 0 deletions