Actually, this does the right thing, but it would drastically inflate the version of GTK we require; g_unix_signal_add is said in the docs to be available from 2.30 onwards (though this version isn't actually available from the website...?), and we require 2.14. So I guess the better way to do it is to roll our own pipes and such.
Comment on attachment 607268
patch
Actually, this does the right thing, but it would drastically inflate the version of GTK we require; g_unix_signal_add is said in the docs to be available from 2.30 onwards (though this version isn't actually available from the website...?), and we require 2.14. So I guess the better way to do it is to roll our own pipes and such.