Skip to content
This repository has been archived by the owner on Jan 31, 2024. It is now read-only.

[WIP] Better exit file handling #118

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

[WIP] Better exit file handling #118

wants to merge 1 commit into from

Conversation

OndrejMarsalek
Copy link
Collaborator

Exit file is removed once used. Code structure is improved to remove code duplication - only Softexit performs checking.

As a bonus, we now also check for the file EXIT_<step number> to be able to cut a given run short at a specific step. This should be documented.

Some issues possibly remain, more testing needed - do not merge yet.

Exit file is removed once used.
Structure is improved to remove code duplication.
Some issues possibly remain, more testing needed.
@ceriottm ceriottm changed the base branch from clean-up to master August 25, 2016 06:56
@ceriottm
Copy link
Collaborator

Changed target to master

@ceriottm
Copy link
Collaborator

ceriottm commented Jun 8, 2017

@OndrejMarsalek as you see I'm doing some spring cleaning. Any chance this can be merged soon?

@mahrossi
Copy link
Collaborator

@OndrejMarsalek is this ready to merge?

# TODO: This does not continue smoothly from the RESTART when EXIT
# is found, but EXIT_step seems fine.
softexit.check_exit_file()
softexit.check_exit_file("EXIT_{:d}".format(self.step))
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should there also be a timeout check?

break
# Check for exit files also here. This can have shorter latency
# than the regular check and also can stop at specific step.
# TODO: This does not continue smoothly from the RESTART when EXIT
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Were these "not smoothly continuations" the possible remaining issues, that you wanted to test further?

@ceriottm
Copy link
Collaborator

ceriottm commented Feb 4, 2018

Can this be merged?

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants