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.

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

Non zero exit code on error #27

Merged
merged 2 commits into from
Dec 17, 2019

Conversation

WalternativE
Copy link
Contributor

I started to implement this to address #20. I'm trying to insert an additional piece of information in the process of creating files in the _public folder. For lack of a better term I typed them as GeneratorResults. I'm still not entirely happy so I leave this as a draft and will play around with the concept for the next couple of evenings (whenever I have time).
I'd be always happy to receive feedback as this might open up the field for a couple of changes.

- Fail fast when erorr occurs and directly report it to the operator
- Instanciate a new fsi session for every build as otherwise types
  would be reloaded to the sessions and be incompatible with each other
  in watch mode
- Handle obvious exceptions in order for watch mode to continue
@WalternativE
Copy link
Contributor Author

WalternativE commented Nov 11, 2019

@jeremyabbott I think I should have condensed your work, my original draft and the content of our discussion in #28 down to the needed changes with the last commit. What do you think, can we open this up for a review?

@WalternativE
Copy link
Contributor Author

@jeremyabbott are you still working on something on your side? Otherwise I'd just open this up to be reviewed by Chris.

@WalternativE WalternativE marked this pull request as ready for review November 29, 2019 07:28
@Krzysztof-Cieslak Krzysztof-Cieslak merged commit 7bc0b4a into ionide:master Dec 17, 2019
@Krzysztof-Cieslak
Copy link
Member

Thanks a lot!

@WalternativE WalternativE deleted the non-zero-code-on-error branch December 17, 2019 12:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants