Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

"Get Server Logs" can now jump to a specific round ID #3501

Merged
merged 1 commit into from
Sep 22, 2024

Conversation

Absolucy
Copy link
Member

@Absolucy Absolucy commented Sep 21, 2024

About The Pull Request

As a result of #3284, this is now easily possible without jank!

Also, added stupid a snowflake bit to the file validation regex to make it possible for +DEBUG log fetching to get profiler logs.

Why It's Good For The Game

Makes getting logs for a specific round ID easy.

Changelog

🆑
admin: "Get Server Logs" can now jump to a specific round ID.
admin: "Get Current/Server Logs (Debug)" can now download profiler logs, as users with the permission to use that can use the profiler anyways.
/:cl:

@Absolucy Absolucy merged commit 93d40fb into Monkestation:master Sep 22, 2024
24 checks passed
github-actions bot added a commit that referenced this pull request Sep 22, 2024
@Absolucy Absolucy deleted the logfetch-improvements branch September 22, 2024 04:34
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant