# # patch "ChangeLog" # from [68d97ffb44f5906f299ebd779d60898eecbc7818] # to [5eed4b899bc32710f2ef22453d02c80b9397e8c5] # # patch "testsuite.at" # from [04b7e98cd3fddae17182003c92e29e869cacef6b] # to [6326473ed1698c70773b335eca1e247e31e60798] # ======================================================================== --- ChangeLog 68d97ffb44f5906f299ebd779d60898eecbc7818 +++ ChangeLog 5eed4b899bc32710f2ef22453d02c80b9397e8c5 @@ -1,3 +1,8 @@ +2005-08-13 Nathaniel Smith + + * testsuite.at: Use SEGV to kill netsync servers, in hopes it will + give better coverage information. + 2005-08-13 Julio M. Merino Vidal * configure.ac: Remove an obsolete check to see if SQLite was ======================================================================== --- testsuite.at 04b7e98cd3fddae17182003c92e29e869cacef6b +++ testsuite.at 6326473ed1698c70773b335eca1e247e31e60798 @@ -351,7 +351,11 @@ ps | awk -- '{p=$NF;a=1;if(p=="COMMAND")next;pp=split(p,ps,"/");if(ps[[pp]]=="monotone")system("kill " $a);}' fi else - kill $mt_pid 2>/dev/null + # use a SEGV because it will cause an exit, but trigger error + # unwind, so we will actually "exit normally"; which is important + # when using things like coverage tools, etc. that need to write out + # their data on program exit. + kill -SEGV $mt_pid 2>/dev/null fi rm -f monotone_at.pid 2>/dev/null ])