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

Flush all buffered file writing when closing gama #225

Closed
lesquoyb opened this issue Jun 21, 2024 · 0 comments
Closed

Flush all buffered file writing when closing gama #225

lesquoyb opened this issue Jun 21, 2024 · 0 comments
Labels
🤗 Enhancement This is a request for enhancement

Comments

@lesquoyb
Copy link
Contributor

Is your request related to a problem? Please describe.
In case there's a real problem and some buffered writing are not flushed when they should, it would be safer to flush everything when gama is closed. Alternatively (or in addition) this could be manually triggered by the user with some button or menu option
@lesquoyb lesquoyb added the 🤗 Enhancement This is a request for enhancement label Jun 21, 2024
lesquoyb added a commit that referenced this issue Jun 25, 2024
@lesquoyb
Tentative fix for #225
c17c035
lesquoyb added a commit that referenced this issue Jun 27, 2024
@lesquoyb
Merge pull request #228 from gama-platform/buffering-outputs
4febf4e 
Fix for #225
@github-project-automation github-project-automation bot moved this from Todo to Done in GAMA 2024-11 Jun 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
🤗 Enhancement This is a request for enhancement
Projects
GAMA 2024-11
Status: Done
Milestone
No milestone
Development

No branches or pull requests
1 participant
@lesquoyb