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

Various final backend fixes #117

Merged
merged 4 commits into from
May 16, 2023
Merged

Various final backend fixes #117

merged 4 commits into from
May 16, 2023

Conversation

Geometrically
Copy link
Member

@Geometrically Geometrically commented May 15, 2023

Fixes MOD-406
Fixes MOD-407
Fixes MOD-389
Fixes MOD-310

theseus/src/api/jre.rs Show resolved Hide resolved
theseus/src/api/jre.rs Outdated Show resolved Hide resolved
use tokio::sync::{OnceCell, RwLock, Semaphore};

use futures::{
Copy link
Contributor

Choose a reason for hiding this comment

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

clippy error warning here and in a few other places (only marked here because I think a --fix will fix it globally). (I also have 'fmt'-resolvable warnings when I open the branch in vscode)

theseus/src/api/profile.rs Show resolved Hide resolved
"Fetched {path:?}"
);
} else {
println!(
Copy link
Contributor

Choose a reason for hiding this comment

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

Probably not needed to do println! inside the API. The current CLI setup and playground should both have a tracing subscriber and should be able to see the tracing logs in API functions.

Copy link
Member Author

Choose a reason for hiding this comment

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

yup, was just for debugging

theseus/src/state/profiles.rs Show resolved Hide resolved
@thesuzerain
Copy link
Contributor

LGTM

@thesuzerain thesuzerain merged commit 3fa0e99 into master May 16, 2023
@thesuzerain thesuzerain deleted the final-backend-fixes branch May 16, 2023 22:30
Geometrically pushed a commit that referenced this pull request Jul 4, 2024
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.

2 participants