From 261fbdd038bacec1a23d407350b8777f9df1405e Mon Sep 17 00:00:00 2001
From: Matthias Beyer <mail@beyermatthias.de>
Date: Fri, 4 Dec 2015 23:11:46 +0100
Subject: [PATCH] Add id getter for FileID

---
 src/storage/file_id.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/storage/file_id.rs b/src/storage/file_id.rs
index c582aa8e..da44de36 100644
--- a/src/storage/file_id.rs
+++ b/src/storage/file_id.rs
@@ -73,6 +73,10 @@ impl FileID {
         self.id_type.clone()
     }
 
+    pub fn get_id(&self) -> Option<String> {
+        self.id.clone()
+    }
+
 }
 
 impl Debug for FileID {