inferno-os tree was separated from the inferno-os-android (separated from the Android driver)

1 files changed, 23 insertions, 0 deletions

diff --git a/module/cfgfile.m b/module/cfgfile.m
new file mode 100644
index 0000000..4aff004
--- /dev/null
+++ b/module/cfgfile.m
@@ -0,0 +1,23 @@
+#
+# simple adt that operates on whitespace separated config files
+# such as /services/webget/config
+#
+CfgFile: module
+{
+	PATH: con	"/dis/lib/cfgfile.dis";
+	ConfigFile: adt
+	{
+		getcfg:	fn(me: self ref ConfigFile,field:string):list of string;
+		setcfg:	fn(me: self ref ConfigFile,field:string,val:string);
+		delete:	fn(me: self ref ConfigFile,field:string);
+		flush:	fn(me: self ref ConfigFile): string;
+
+		 # ----- private ------
+		lines:	list of string;
+		file:	string;
+		readonly:	int;
+	};
+
+	init:	fn(file:string):ref ConfigFile;
+	verify:	fn(defaultpath: string, path: string) :ref Sys->FD;
+};