Rev 2835 | 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 | ||