Hi, The Spawner's start() function is called unconditionally after pre_spawn_hook() returns, so you're correct that the return value will have no effect. However, if you raise an exception, it will be caught by the app and the associated error message will be logged. There are some cases where exception error messages are displayed to the user. If I'm correctly interpreting the code, in this case a message will be displayed *if* you have a spawner options form set up.
Michael On Fri, Jan 19, 2018 at 11:06 AM, Tim Harsch <harschw...@gmail.com> wrote: > Hi all, > Is there a way in the pre_spawn_hook I could invalidate the spawn? > return True/False doesn't work. I'd like it to ultimately produce a user > friendly result to the user if an issue occurs > > Thanks, > Tim > > -- > You received this message because you are subscribed to the Google Groups > "Project Jupyter" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to jupyter+unsubscr...@googlegroups.com. > To post to this group, send email to jupyter@googlegroups.com. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/jupyter/97c1bbb1-ada9-44b0-ad68-aff8b1181e94%40googlegroups.com > <https://groups.google.com/d/msgid/jupyter/97c1bbb1-ada9-44b0-ad68-aff8b1181e94%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- Michael Milligan, Ph.D. | Supercomputing Institute Assistant Director for | University of Minnesota Application Development | milli...@umn.edu www.msi.umn.edu/staff/milligan | Phone: 612-624-8857 -- You received this message because you are subscribed to the Google Groups "Project Jupyter" group. To unsubscribe from this group and stop receiving emails from it, send an email to jupyter+unsubscr...@googlegroups.com. To post to this group, send email to jupyter@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/CAPuy8gp%3DhbGz-8Nd0ny-8dkt9smTgXaGLqo0xane%2BM%3DGChiE8w%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
