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.

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

Configurable server timeout #408

Closed
seieewkx opened this issue Aug 13, 2018 · 3 comments
Closed

Configurable server timeout #408

seieewkx opened this issue Aug 13, 2018 · 3 comments
Labels
good-first-issue The fix/solution for the issue is considered easy. A good starting point for newbies.
Milestone
0.11.0-M11

Comments

@seieewkx
Copy link

seieewkx commented Aug 13, 2018 •
edited
Loading

mill is the fastest Scala compiler I find. I have a special requirement for Scala compilation.
The code need to be compiled is very small, around 100 line of code. I need it compile as fast as possible.
If the mill server(daemon) is alive, The compilation needs 2.x seconds. And after 5mins, the server(daemon) dead, it needs 16 seconds.
I want the compilation always be as fast as possible. By keeping the server(daemon) alive. Thanks!

https://github.com/lihaoyi/mill/blob/22e19245e05a43b645c8a65cc9b1266df3a85579/main/src/mill/main/MillServerMain.scala#L43
@lihaoyi
Copy link
Member

lihaoyi commented Sep 11, 2018

should be easy, send a PR

@lefou lefou added the good-first-issue The fix/solution for the issue is considered easy. A good starting point for newbies. label Nov 22, 2022
@Ivoyaa Ivoyaa mentioned this issue May 25, 2023
Merged
lihaoyi pushed a commit that referenced this issue Jun 4, 2023
@Ivoyaa
issue-408 - server timeout setting configurable through envs (#2550)
c9e2e07 
Trying to implement
[issue-408](#408).
Not exactly sure if it is a correct way to achieve it, so would
appreciate any feedback!

Co-authored-by: r.elchenkov <r.elchenkov@tinkoff.ru>
@lolgab
Copy link
Member

lolgab commented Oct 28, 2023

This should be fixed by #2550.
You can configure the timeout by setting the MILL_SERVER_TIMEOUT_MILLIS environment variable.
Can we close this issue @lefou?

@lefou lefou added this to the 0.11.0-M11 milestone Oct 30, 2023
@lefou
Copy link
Member

lefou commented Oct 30, 2023

@lolgab, yeah. Can be closed. We should add it to the documentation though.

@lefou lefou closed this as completed Oct 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
good-first-issue The fix/solution for the issue is considered easy. A good starting point for newbies.
Projects
None yet
Milestone
0.11.0-M11
Development

No branches or pull requests
4 participants
@lihaoyi @lefou @seieewkx @lolgab