2003-01-28 05:53:17 -05:00
|
|
|
(define-interface pps-interface
|
|
|
|
|
(export pps
|
|
|
|
|
|
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
|
|
|
|
|
process-info-saved-set-gid
|
|
|
|
|
process-info-time
|
|
|
|
|
process-info-tty
|
|
|
|
|
process-info-executable
|
|
|
|
|
process-info-command-line))
|
