Skip to content
New issue

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

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

Already on GitHub? # to your account

issue-408 - server timeout setting configurable through envs #2550

Merged
merged 1 commit into from
Jun 4, 2023

Conversation

Ivoyaa
Copy link
Contributor

@Ivoyaa Ivoyaa commented May 25, 2023

Trying to implement issue-408.
Not exactly sure if it is a correct way to achieve it, so would appreciate any feedback!

@Ivoyaa Ivoyaa force-pushed the Ivoyaa/issue-408 branch from 63addd3 to 46d17f7 Compare May 25, 2023 20:58
@lihaoyi lihaoyi merged commit c9e2e07 into com-lihaoyi:main Jun 4, 2023
@lefou lefou added this to the 0.11.0-M11 milestone Jun 4, 2023
@lefou
Copy link
Member

lefou commented Jun 4, 2023

Thank you for this contribution!

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants