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

ROSサーバーポートをオープンする際に、タイミングによってはオープンエラーになる問題を修正 #50

Merged
merged 1 commit into from
Jun 16, 2021
Merged

ROSサーバーポートをオープンする際に、タイミングによってはオープンエラーになる問題を修正 #50

merged 1 commit into from
Jun 16, 2021

Conversation

mikoto2000
Copy link
Contributor

#46 と同様の修正を ROS のサーバーポートへ適用しました。

@mikoto2000 mikoto2000 requested a review from tmori June 16, 2021 16:50
@tmori tmori merged commit 96ecf07 into toppers:master Jun 16, 2021
@mikoto2000 mikoto2000 deleted the fix_ros_server_port_open_error branch June 17, 2021 19:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tmori tmori Awaiting requested review from tmori

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@mikoto2000 @tmori