diff options
Diffstat (limited to '')
| -rw-r--r-- | c/src/libmisc/monitor/Makefile.am | 4 | ||||
| -rw-r--r-- | c/src/libmisc/monitor/mon-server.c | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/c/src/libmisc/monitor/Makefile.am b/c/src/libmisc/monitor/Makefile.am index 2c8db51ffa..c0fa6c9ea5 100644 --- a/c/src/libmisc/monitor/Makefile.am +++ b/c/src/libmisc/monitor/Makefile.am @@ -1,6 +1,6 @@ -## +## ## $Id$ -## +## AUTOMAKE_OPTIONS = foreign 1.4 diff --git a/c/src/libmisc/monitor/mon-server.c b/c/src/libmisc/monitor/mon-server.c index 3ae56058d3..1b696bb5e3 100644 --- a/c/src/libmisc/monitor/mon-server.c +++ b/c/src/libmisc/monitor/mon-server.c @@ -193,15 +193,15 @@ rtems_monitor_server_kill(void) { if (rtems_monitor_server_task_id) rtems_task_delete(rtems_monitor_server_task_id); - rtems_monitor_task_id = 0; + rtems_monitor_server_task_id = 0; if (rtems_monitor_server_request_queue_id) rtems_message_queue_delete(rtems_monitor_server_request_queue_id); - rtems_monitor_server_response_queue_id = 0; + rtems_monitor_server_request_queue_ids = 0; if (rtems_monitor_server_response_queue_id) rtems_message_queue_delete(rtems_monitor_server_response_queue_id); - rtems_monitor_server_request_queue_ids = 0; + rtems_monitor_server_response_queue_id = 0; if (rtems_monitor_server_request_queue_ids) free(rtems_monitor_server_request_queue_ids); |