Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use kernel_id for new kernel if it doesn't exist in MappingKernelManager.start_kernel #511

Merged
merged 5 commits into from
May 7, 2021

Conversation

the-higgs
Copy link
Contributor

@the-higgs the-higgs commented May 7, 2021

Closes #403. This change aligns the implementation of MappingKernelManager.start_kernel with its docstring.

It is worth mentioning that in the API Doc, there is currently no method for starting a kernel by specifying a kernel_id. As such, no changes are made to jupyter_server/tests/services/kernels/test_api.py. Nevertheless, this change provides a possibility to support such functionality if that is required in future.

@welcome
Copy link

welcome bot commented May 7, 2021

Thanks for submitting your first pull request! You are awesome! 🤗

If you haven't done so already, check out Jupyter's Code of Conduct. Also, please make sure you followed the pull request template, as this will help us review your contribution more quickly.
welcome
You can meet the other Jovyans by joining our Discourse forum. There is also a intro thread there where you can stop by and say Hi! 👋

Welcome to the Jupyter community! 🎉

@codecov-commenter
Copy link

codecov-commenter commented May 7, 2021

Codecov Report

Merging #511 (3c7cf64) into master (858b6a7) will decrease coverage by 0.05%.
The diff coverage is 25.00%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #511      +/-   ##
==========================================
- Coverage   77.12%   77.07%   -0.06%     
==========================================
  Files         107      107              
  Lines        9490     9491       +1     
  Branches     1026     1027       +1     
==========================================
- Hits         7319     7315       -4     
- Misses       1804     1807       +3     
- Partials      367      369       +2     
Impacted Files Coverage Δ
jupyter_server/services/kernels/kernelmanager.py 80.79% <25.00%> (+0.43%) ⬆️
jupyter_server/services/kernels/handlers.py 61.37% <0.00%> (-1.59%) ⬇️

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 858b6a7...3c7cf64. Read the comment docs.

@blink1073 blink1073 added this to the 1.7 milestone May 7, 2021
@the-higgs the-higgs marked this pull request as ready for review May 7, 2021 18:50
@the-higgs the-higgs changed the title [WIP] Use kernel_id for new kernel if it doesn't exist in MappingKernelManager.start_kernel Use kernel_id for new kernel if it doesn't exist in MappingKernelManager.start_kernel May 7, 2021
Copy link
Member

@Zsailer Zsailer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you! Great stuff!

@kevin-bates or @vidartf, do you mind taking a second look?

Copy link
Member

@kevin-bates kevin-bates left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, thank you @higgsb0. I just had one minor comment.

jupyter_server/services/kernels/kernelmanager.py Outdated Show resolved Hide resolved
Copy link
Member

@kevin-bates kevin-bates left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good - thank you!

@Zsailer
Copy link
Member

Zsailer commented May 7, 2021

Thanks, @higgsb0 and @kevin-bates!

@Zsailer Zsailer merged commit 627898f into jupyter-server:master May 7, 2021
@welcome
Copy link

welcome bot commented May 7, 2021

Congrats on your first merged pull request in this project! 🎉
congrats
Thank you for contributing, we are very proud of you! ❤️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

MappingKernelManager.start_kernel should use kernel_id for new kernel if it doesn't exist
5 participants