* first version of the profile manager committed

[helm.git] / helm / DEVEL / profile-manager / response.ml

diff --git a/helm/DEVEL/profile-manager/response.ml b/helm/DEVEL/profile-manager/response.ml
new file mode 100644 (file)
index 0000000..e47a666
--- /dev/null
+++ b/helm/DEVEL/profile-manager/response.ml
@@ -0,0 +1,8 @@
+
+let quote_attribute s = s
+
+let quote s = s
+
+let error s = "<error>" ^ (quote s) ^ "</error>"
+
+let ok () = "<ok/>"