diff src/alice/codesegment/OutputDataSegment.java @ 41:f9334781344a

add close api
author kazz <kazz@cr.ie.u-ryukyu.ac.jp>
date Thu, 02 Feb 2012 10:48:39 +0900
parents 20616fe4d28a
children a76e603c43a0
line wrap: on
line diff
--- a/src/alice/codesegment/OutputDataSegment.java	Tue Jan 31 15:19:35 2012 +0900
+++ b/src/alice/codesegment/OutputDataSegment.java	Thu Feb 02 10:48:39 2012 +0900
@@ -62,5 +62,8 @@
 		DataSegment.get(managerKey).finish();
 	}
 
+	public void close(String managerKey) {
+		DataSegment.get(managerKey).close();
+	}
 
 }