[sr-dev] Core dump not generated

Hi: Running ser with root under debian lenny, And tried: kill -SIGABRT <pid_of_ser> core was not generated Any reason for that? Mar 18 14:16:39 im1 /usr/sbin/ser[5315]: ALERT: <core> [main.c:730]: child process 5319 exited by a signal 6 Mar 18 14:16:39 im1 /usr/sbin/ser[5336]: : <core> [pass_fd.c:293]: ERROR: receive_fd: EOF on 13 Mar 18 14:16:39 im1 /usr/sbin/ser[5315]: ALERT: <core> [main.c:733]: core was not generated Mar 18 14:16:39 im1 /usr/sbin/ser[5336]: DEBUG: <core> [tcp_main.c:3034]: DBG: handle_ser_child: dead child 4, pid 5319 (shutting down?) Mar 18 14:16:39 im1 /usr/sbin/ser[5315]: INFO: <core> [main.c:745]: INFO: terminating due to SIGCHLD Mar 18 14:16:39 im1 /usr/sbin/ser[5336]: DEBUG: <core> [io_wait.h:588]: DBG: io_watch_del (0x821a0a0, 13, -1, 0x0) fd_no=24 called Mar 18 14:16:39 im1 /usr/sbin/ser[5332]: INFO: <core> [main.c:796]: INFO: signal 15 received Mar 18 14:16:39 im1 /usr/sbin/ser[5333]: INFO: <core> [main.c:796]: INFO: signal 15 received Mar 18 14:16:39 im1 /usr/sbin/ser[5324]: INFO: <core> [main.c:796]: INFO: signal 15 received Mar 18 14:16:39 im1 /usr/sbin/ser[5317]: INFO: <core> [main.c:796]: INFO: signal 15 received Thanks. Kind Regards Min Wang