file_append

2022-01-21 00:06:52 +00:00
parent 5f3ae65b17
commit dd14dbb6e3
7 changed files with 72 additions and 0 deletions
@@ -0,0 +1,12 @@
+:sig
+void file_append(String file_name, ...val)
+
+:params
+file_name : file name of file that should be written to
+...val : one or more values that should be written into the file
+
+:desc
+Opens or creates a given file and appends data to it.
+
+:see
+>sys
@@ -0,0 +1,11 @@
+:sig
+void print(...val)
+
+:params
+...val : one or more values that should be output
+
+:desc
+Appends data to the current request's output stream.
+
+:see
+>sys