1 files changed, 41 insertions, 0 deletions
diff --git a/system/base/1.7.5/src/local manager 2 b/system/base/1.7.5/src/local manager 2
new file mode 100644
index 0000000..8f70301
--- /dev/null
+++ b/system/base/1.7.5/src/local manager 2
@@ -0,0 +1,41 @@
+ 
+PACKET local manager part 2 DEFINES            (* Autor: J.Liedtke *)
+                                               (* Stand: 25.02.85  *)
+  list :
+ 
+ 
+TEXT VAR file name, status text;
+
+
+PROC list :
+ 
+  disable stop ;
+  DATASPACE VAR ds := nilspace ;
+  FILE VAR list file := sequential file (output, ds) ;
+  headline (list file, "list") ;
+  list (list file) ;
+  show (list file) ;
+  forget (ds) .
+ 
+ENDPROC list ;
+ 
+PROC list (FILE VAR f) :
+ 
+  enable stop ;
+  begin list ;
+  putline (f, "") ;
+  REP
+    get list entry (file name, status text) ;
+    IF file name = ""
+      THEN LEAVE list
+    FI ;
+    write (f, status text + "  """ ) ;
+    write (f, file name) ;
+    write (f, """") ;
+    line (f)
+  PER .
+ 
+ENDPROC list ;
+ 
+ENDPACKET local manager part 2 ;
+