Skip to content

kill process group when killing kernel#314

Merged
takluyver merged 1 commit intojupyter:masterfrom minrk:process-groupsDec 15, 2017

Commits

Commits on Dec 15, 2017