2003-01-28 05:53:17 -05:00
|
|
|
(define-interface pps-interface
|
|
|
|
|
(export pps
|
2004-03-10 13:46:33 -05:00
|
|
|
|
2003-02-20 17:12:08 -05:00
|
|
|
process-info?
|
2003-01-28 05:53:17 -05:00
|
|
|
process-info-pid
|
|
|
|
|
process-info-ppid
|
|
|
|
|
process-info-logname
|
|
|
|
|
process-info-real-uid
|
|
|
|
|
process-info-effective-uid
|
|
|
|
|
process-info-saved-set-uid
|
|
|
|
|
process-info-real-gid
|
|
|
|
|
process-info-effective-gid
|
2004-03-10 13:46:33 -05:00
|
|
|
process-info-saved-set-gid
|
2003-01-28 05:53:17 -05:00
|
|
|
process-info-time
|
|
|
|
|
process-info-tty
|
|
|
|
|
process-info-executable
|
2004-03-10 13:46:33 -05:00
|
|
|
process-info-command-line))
|
|
|
|
|
|
|
|
|
|
(define-structure pps pps-interface
|
|
|
|
|
(open scheme-with-scsh
|
|
|
|
|
(subset srfi-1 (drop take))
|
|
|
|
|
define-record-types)
|
|
|
|
|
(files pps))
|
