fix error on querying extra servers

strands-project / mongodb_store

MongoDB tools for storing and analysing runs of ROS systems.

BSD 3-Clause "New" or "Revised" License

49 stars 72 forks source link

Closed furushchev closed 6 years ago

furushchev commented 6 years ago

Currently, if data queried from a client does not exist on primary db server, message store node tries to find from extra servers, but it always fails because of typo in https://github.com/strands-project/mongodb_store/commit/1bd27aa73eb2bf9ec52ccba61af6e2ecef86037a.

strands-jenkins commented 6 years ago

Can one of the STRANDS admins verify this patch? Post a comment containing "ok to test" to enable Jenkins builds for this pull request.

strands-jenkins commented 6 years ago

Merge build triggered.

hawesie commented 6 years ago

Ouch, sorry for missing that when merging.