{"thread":{"id":"19311","subject":"[BUG] \"git-mergetool -t emerge\" does not fully die on Ctrl-C","startedAt":"2009-05-12T09:38:04Z","lastAt":"2009-05-28T06:05:08Z","messageCount":2,"participants":["Yann Dirson","David Aguilar"],"isPatch":false,"patchVersion":null,"patchTotal":null},"messages":[{"id":"113626","messageId":"49338.10.0.0.1.1242121084.squirrel@intranet.linagora.com","threadId":"19311","inReplyTo":null,"subject":"[BUG] \"git-mergetool -t emerge\" does not fully die on Ctrl-C","fromName":"Yann Dirson","fromEmail":"ydirson@linagora.com","sentAt":"2009-05-12T09:38:04Z","receivedAt":"2009-05-12T09:38:04Z","isPatch":false,"sender":{"key":"ydirson@linagora.com","avatar":null},"body":"While playing with the various tools supported by mergetool, I noticed\nthat, while with most tools you can just use Ctrl-C and git-mergetool as\nwell as the external tool get killed, the behaviour with emerge looks\nbuggy: whereas the toplevel \"git\" process gets killed, the children\ngit-mergetool as well as emacs are not impacted, and the merge continues\nin the background.\n"},{"id":"114887","messageId":"20090528060508.GB21329@gmail.com","threadId":"19311","inReplyTo":"49338.10.0.0.1.1242121084.squirrel@intranet.linagora.com","subject":"Re: [BUG] \"git-mergetool -t emerge\" does not fully die on Ctrl-C","fromName":"David Aguilar","fromEmail":"davvid@gmail.com","sentAt":"2009-05-28T06:05:08Z","receivedAt":"2009-05-28T06:05:08Z","isPatch":false,"sender":{"key":"davvid@gmail.com","avatar":"https://avatars.githubusercontent.com/u/13196?v=4"},"body":"On Tue, May 12, 2009 at 11:38:04AM +0200, Yann Dirson wrote:\n> While playing with the various tools supported by mergetool, I noticed\n> that, while with most tools you can just use Ctrl-C and git-mergetool as\n> well as the external tool get killed, the behaviour with emerge looks\n> buggy: whereas the toplevel \"git\" process gets killed, the children\n> git-mergetool as well as emacs are not impacted, and the merge continues\n> in the background.\n\nSorry for the late reply (your email got lost in the traffic).\n\nWe don't do anything particularly special for emerge.\nCan you identify a specific flag or setting that might be\ncausing this?\n\nI just tried emerge with difftool and it worked just fine.\nWhat platform are you on, etc.?\n\n-- \n\n\tDavid\n"}]}