Rev 2835 | Rev 2838 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2835 | Rev 2837 | ||
---|---|---|---|
Line 125... | Line 125... | ||
125 | getchar(); |
125 | getchar(); |
126 | printf("keyboard fibril setting abort_trace\n"); |
126 | printf("keyboard fibril setting abort_trace\n"); |
127 | abort_trace = 1; |
127 | abort_trace = 1; |
128 | printf("keyboard fibril sending debug_end()\n"); |
128 | printf("keyboard fibril sending debug_end()\n"); |
129 | debug_end(phoneid); |
129 | debug_end(phoneid); |
- | 130 | printf("keyboard fibril hanging up phone\n"); |
|
- | 131 | ipc_hangup(phoneid); |
|
130 | printf("keyboard fibril exitting\n"); |
132 | printf("keyboard fibril exitting\n"); |
131 | 133 | ||
132 | return EOK; |
134 | return EOK; |
133 | } |
135 | } |
134 | 136 |