From e9cdb0547ee060b7dd4455d5321c4cf7bf2d4337 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Carlos=20Mart=C3=ADn?= Date: Tue, 23 Jul 2013 12:46:20 +0200 Subject: [PATCH] Add extra / to VM system dir, just to be sure (cherry picked from commit ba5912b3157d5eb31acdcf129d9eb3fc682d9266) --- src/vm/VirtualMachine.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vm/VirtualMachine.cc b/src/vm/VirtualMachine.cc index e730ed67ba..241b63ac18 100644 --- a/src/vm/VirtualMachine.cc +++ b/src/vm/VirtualMachine.cc @@ -3309,7 +3309,7 @@ string VirtualMachine::get_system_dir() const { ostringstream oss; - oss << history->ds_location << history->ds_id << "/"<< oid; + oss << history->ds_location << "/" << history->ds_id << "/"<< oid; return oss.str(); };