specify kernel name when starting new kernel#4

Merged

ines merged 1 commit intoines:masterfrom

Apr 10, 2019

Commits on Apr 6, 2019

also pass name: this.kernelType when starting kernel to ensure correct kernel is used
amn41
committed