OpenRTM-aist » RT System Editor

ネームサーバー起動ボタンを押すと、起動済みのネームサーバーを削除して新たにネームサーバーが起動するはずだが、何故か起動済みのネームサーバーが終了しない。
ネームサーバー削除ボタンを押すと起動済みのネームサーバーが終了する。
またrtm-naming.batを直接実行した場合でも起動済みのネームサーバーは終了しており、ネームサーバー起動ボタンを押したときのみ動作がおかしい。