DennisOSRM/Project-OSRM — pull request #1108 by emiltin (2014-06-30 11:06:20+00:00)
Title: fix shared mem warnings

fixes odd warnings about not being able to delete memory regions when using osrm-datastore, and avoids a bit of code duplication.