-
Notifications
You must be signed in to change notification settings - Fork 3
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
Make command timeout configurable #21
Comments
What about syntax? How does this look? {"make test", [{timeout, 5000}]} % in case you want more options in the future or simpler still {"make test", 5000} % you could still add more options with a new syntax and "deprecate this one" |
looks good but lets support default configs too:
|
You mean not using an option list? Sure, I was not mentioning otherwise (I was giving examples for the "extra" interface - since I don't want to break existing implementations/usage. |
sorry I meant we should support both of the cases in my example. where [configs..] is your suggestion. So my revised example of things that should be supported:
|
Communication 😄 When I wrote I got it, though. I wouldn't force a list if I didn't have too, anyway. |
Hahaha. Sounds good |
I've started fiddling with the implementation, for this issue, but have some questions. What does the notion of "timeout" mean here, exactly? I don't think we can easily "stop command execution" on the OS once it's been started by It would be OK, for example, if you "chain" commands. e.g. {slow_cmd, [
{"find / -name .gitignore ", [{timeout, 2000}]},
"ls"
]}. Here, And another thing, would you still consider the command result for output even if it arrived late? Or just ignore it? |
No description provided.
The text was updated successfully, but these errors were encountered: