Rev 3117 | Rev 3747 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3117 | Rev 3222 | ||
---|---|---|---|
Line 94... | Line 94... | ||
94 | if (phone >= 0) |
94 | if (phone >= 0) |
95 | console_phone = phone; |
95 | console_phone = phone; |
96 | } |
96 | } |
97 | } |
97 | } |
98 | 98 | ||
- | 99 | void close_console(void) |
|
- | 100 | { |
|
- | 101 | if (console_phone >= 0) { |
|
- | 102 | if (ipc_hangup(console_phone) == 0) { |
|
- | 103 | console_phone = -1; |
|
- | 104 | } |
|
- | 105 | } |
|
- | 106 | } |
|
- | 107 | ||
99 | void klog_update(void) |
108 | void klog_update(void) |
100 | { |
109 | { |
101 | (void) __SYSCALL3(SYS_KLOG, 1, NULL, 0); |
110 | (void) __SYSCALL3(SYS_KLOG, 1, NULL, 0); |
102 | } |
111 | } |
103 | 112 |