[sr-dev] Core dump not generated

[Min Wang]

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