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.

Sign up for GitHub

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

Jump to bottom

allow awaiting disconnect without connected #1195

Merged

falkoschindler merged 1 commit into main from await_disconnect

Jul 19, 2023

Member

rodja commented Jul 19, 2023 •

edited by falkoschindler

Loading

This pull request allows to write

@ui.page('/')
async def page(client: Client):
    await client.disconnected()
    print('done', flush=True)


          allow awaiting disconnect without connected

fc04d66

rodja added this to the 1.3.5 milestone

rodja requested a review from falkoschindler

July 19, 2023 04:27

falkoschindler approved these changes

View reviewed changes

falkoschindler merged commit 8206fb2 into main

6 checks passed

falkoschindler deleted the await_disconnect branch

July 19, 2023 05:35

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