We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
make_output_graph で要素を (publisher, topic, subscriber) の形で列挙しているが,フィルタとして publisher の名前の削除を指定した場合,(topic, subscriber) の形で情報が残るようになっているため,グラフ構築時に topic のほうを subscriber 名とみなしてグラフを描画してしまう可能性がある.
make_output_graph の出力を (publisher -> topic), (topic -> subscriber) の2種類の辺に分けるなどして,辺を個別に削除できるようにする必要がある.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
make_output_graph で要素を (publisher, topic, subscriber) の形で列挙しているが,フィルタとして publisher の名前の削除を指定した場合,(topic, subscriber) の形で情報が残るようになっているため,グラフ構築時に topic のほうを subscriber 名とみなしてグラフを描画してしまう可能性がある.
make_output_graph の出力を (publisher -> topic), (topic -> subscriber) の2種類の辺に分けるなどして,辺を個別に削除できるようにする必要がある.
The text was updated successfully, but these errors were encountered: