There may be a bug related with 'timer_delete', which is called by system when there is an alive timer after gearmand is killed.
In this patch file, these timers will be deleted when object of gearman_server_options_st is destructed.
This patch file also fixes the bug in https://bugs.launchpad.net/gearmand/+bug/1390672
There may be a bug related with 'timer_delete', which is called by system when there is an alive timer after gearmand is killed. server_ options_ st is destructed. /bugs.launchpad .net/gearmand/ +bug/1390672
In this patch file, these timers will be deleted when object of gearman_
This patch file also fixes the bug in
https:/