Skip to content

Change exit code for non-owner use.#7

Open
mikalsande wants to merge 1 commit intoton-community:mainfrom
mikalsande:change_exit_code
Open

Change exit code for non-owner use.#7
mikalsande wants to merge 1 commit intoton-community:mainfrom
mikalsande:change_exit_code

Conversation

@mikalsande
Copy link

The exit code 8 is used by the TVM, it helps deployment debugging to use an exit code that is not alread in use.

317 is just an arbitrary number, it is not important exactly which number is used, just as long as that number is not already used by the TVM.

The exit code 8 is used by the TVM, it helps deployment debugging to use an
exit code that is not alread in use.
@mikalsande
Copy link
Author

@dvlkv Is this something you'd consider merging? Or is this project abandoned?

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants