From 5b8c13892298dffa02e1242b08ddde603958befb Mon Sep 17 00:00:00 2001 From: Matthias Beyer Date: Sat, 17 Jun 2017 17:20:15 +0200 Subject: [PATCH] Add fn StoreId::local_push() for altering the local part of a StoreId --- libimagstore/src/storeid.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/libimagstore/src/storeid.rs b/libimagstore/src/storeid.rs index ab2727fe..8f63d66d 100644 --- a/libimagstore/src/storeid.rs +++ b/libimagstore/src/storeid.rs @@ -123,6 +123,10 @@ impl StoreId { &self.id } + pub fn local_push>(&mut self, path: P) { + self.id.push(path) + } + } impl Display for StoreId {