Fix unmount of drives with spaces in their names (#1744).

diff --git a/src/lib/cross_linux.cc b/src/lib/cross_linux.cc
index 36683a0cd1cac9551a74935b32c4895b906ea99d..a60f7af6336728f1040523bca306bc4d0454931d 100644 (file)
--- a/src/lib/cross_linux.cc
+++ b/src/lib/cross_linux.cc
@@ -274,6 +274,7 @@ get_mounts (string prefix)
                vector<string> bits;
                boost::algorithm::split (bits, line, boost::is_any_of(" "));
                if (bits.size() > 1 && boost::algorithm::starts_with(bits[0], prefix)) {
                vector<string> bits;
                boost::algorithm::split (bits, line, boost::is_any_of(" "));
                if (bits.size() > 1 && boost::algorithm::starts_with(bits[0], prefix)) {

+                       boost::algorithm::replace_all (bits[1], "\\040", " ");

                        mounts.push_back(make_pair(bits[0], bits[1]));
                        LOG_DISK("Found mounted device %1 from prefix %2", bits[0], prefix);
                }
                        mounts.push_back(make_pair(bits[0], bits[1]));
                        LOG_DISK("Found mounted device %1 from prefix %2", bits[0], prefix);
                }