diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-05-06 17:54:24 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-05-06 17:54:24 +0000 |
| commit | efdcd226f40d26ef1cb43c576b9233548db85458 (patch) | |
| tree | 48794af43a7b200bf4af4a04c3cc928663dd5d4f | |
| parent | 332523a7d9aafcdec76238fb61d8f99d3a362d6e (diff) | |
(startup_request_notification): Add NAME.
| -rw-r--r-- | hurd/startup.defs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/hurd/startup.defs b/hurd/startup.defs index 392b095b..6f48bb2b 100644 --- a/hurd/startup.defs +++ b/hurd/startup.defs @@ -43,10 +43,12 @@ routine startup_essential_task ( /* This call registers a task as "notified", which means that if the system is going down, we should told about it and get a chance to run. A startup_dosync message (see startup_notify.defs) will be - sent to the notify port. */ + sent to the notify port. NAME will be used to provide a helpful + message to the user when the system is shutting down. */ routine startup_request_notification ( server: startup_t; - notify_port: mach_port_send_t); + notify_port: mach_port_send_t; + name: string_t); /* This call causes the system to die. */ routine startup_reboot ( |