00001 /* 00002 * Copyright (c) 2010 Martin Decky 00003 * All rights reserved. 00004 * 00005 * Redistribution and use in source and binary forms, with or without 00006 * modification, are permitted provided that the following conditions 00007 * are met: 00008 * 00009 * - Redistributions of source code must retain the above copyright 00010 * notice, this list of conditions and the following disclaimer. 00011 * - Redistributions in binary form must reproduce the above copyright 00012 * notice, this list of conditions and the following disclaimer in the 00013 * documentation and/or other materials provided with the distribution. 00014 * - The name of the author may not be used to endorse or promote products 00015 * derived from this software without specific prior written permission. 00016 * 00017 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 00018 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 00019 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 00020 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 00021 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 00022 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 00023 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 00024 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 00025 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 00026 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 00027 */ 00028 00036 #include <errno.h> 00037 #include <stdio.h> 00038 #include <task.h> 00039 #include <stats.h> 00040 #include <str_error.h> 00041 #include <malloc.h> 00042 00043 #define NAME "killall" 00044 00045 static void print_syntax(void) 00046 { 00047 printf("Syntax: " NAME " <task name>\n"); 00048 } 00049 00050 int main(int argc, char *argv[]) 00051 { 00052 if (argc != 2) { 00053 print_syntax(); 00054 return 1; 00055 } 00056 00057 size_t count; 00058 stats_task_t *stats_tasks = stats_get_tasks(&count); 00059 00060 if (stats_tasks == NULL) { 00061 fprintf(stderr, "%s: Unable to get tasks\n", NAME); 00062 return 2; 00063 } 00064 00065 size_t i; 00066 for (i = 0; i < count; i++) { 00067 if (str_cmp(stats_tasks[i].name, argv[1]) == 0) { 00068 task_id_t taskid = stats_tasks[i].task_id; 00069 int rc = task_kill(taskid); 00070 if (rc != EOK) 00071 printf("Failed to kill task ID %" PRIu64 ": %s\n", 00072 taskid, str_error(rc)); 00073 else 00074 printf("Killed task ID %" PRIu64 "\n", taskid); 00075 } 00076 } 00077 00078 free(stats_tasks); 00079 00080 return 0; 00081 } 00082