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

chore: Fix execute not start vt issue. #39

Merged
merged 2 commits into from
Jan 25, 2024
Merged

Conversation

He-Pin
Copy link
Contributor

@He-Pin He-Pin commented Jan 23, 2024

Motivation:
In my last pr, I forgot to start the VT :(

Result:
Fixed :)

override def execute(body: Runnable): Unit = VTFactory.newThread(body)
override def execute(body: Runnable): Unit =
val th = VTFactory.newThread(body)
th.start()
Copy link
Contributor Author

Choose a reason for hiding this comment

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

@m8nmueller I forgot to start it, sorry~~

@natsukagami
Copy link
Contributor

Can you add a test to make sure things work as expected?
I could also add one if wanted.

@He-Pin
Copy link
Contributor Author

He-Pin commented Jan 24, 2024

Sorry, I still can't build the snapshot out locally, and a little busy at work. cherry pick if you like. Sorry for missed the start call in my last pr.

@natsukagami
Copy link
Contributor

No worries, I'll add a test onto your branch.

Sorry, I still can't build the snapshot out locally,

Did you run into problems running dependencies/publish-deps.sh?

@He-Pin
Copy link
Contributor Author

He-Pin commented Jan 24, 2024

I'm using Windows 11, so I didn't

@natsukagami
Copy link
Contributor

Sorry for the force-push, I wanted to rebase it to the latest upstream main branch

@He-Pin
Copy link
Contributor Author

He-Pin commented Jan 24, 2024

@natsukagami Thanks I want to learn how to force push to a contributor branch too

@natsukagami
Copy link
Contributor

force push to a contributor branch

As long as "Maintainers are allowed to edit this pull request." I think regular git push -f works. You need to set the correct upstream for the branch, but if you have GitHub cli it's easy to have it automate all the setting up for you: gh pr checkout 39.

@He-Pin
Copy link
Contributor Author

He-Pin commented Jan 24, 2024

@natsukagami I can't install the github cli, company doesn't allow it. thank you ,just learn something new

@natsukagami natsukagami merged commit 4d43bb2 into lampepfl:main Jan 25, 2024
3 checks passed
@He-Pin He-Pin deleted the fixExecute branch January 25, 2024 15:34
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