kill.c

00001 /*
00002  * Copyright (c) 2010 Jiri Svoboda
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 <str_error.h>
00040 
00041 #define NAME  "kill"
00042 
00043 static void print_syntax(void)
00044 {
00045         printf("Syntax: " NAME " <task ID>\n");
00046 }
00047 
00048 int main(int argc, char *argv[])
00049 {
00050         char *eptr;
00051         task_id_t taskid;
00052         int rc;
00053 
00054         if (argc != 2) {
00055                 print_syntax();
00056                 return 1;
00057         }
00058 
00059         taskid = strtoul(argv[1], &eptr, 0);
00060         if (*eptr != '\0') {
00061                 printf("Invalid task ID argument '%s'.\n", argv[1]);
00062                 return 2;
00063         }
00064 
00065         rc = task_kill(taskid);
00066         if (rc != EOK) {
00067                 printf("Failed to kill task ID %" PRIu64 ": %s\n",
00068                     taskid, str_error(rc));
00069                 return 3;
00070         }
00071 
00072         return 0;
00073 }
00074 

Generated on Thu Jun 2 07:45:41 2011 for HelenOS/USB by  doxygen 1.4.7