web/license.html: make it clear that paraslash is licensed under the GPL V2
[paraslash.git] / sched.h
diff --git a/sched.h b/sched.h
index ebd38a8..e897c6d 100644 (file)
--- a/sched.h
+++ b/sched.h
@@ -1,19 +1,7 @@
 /*
  * Copyright (C) 2006 Andre Noll <maan@systemlinux.org>
  *
- *     This program is free software; you can redistribute it and/or modify
- *     it under the terms of the GNU General Public License as published by
- *     the Free Software Foundation; either version 2 of the License, or
- *     (at your option) any later version.
- *
- *     This program is distributed in the hope that it will be useful,
- *     but WITHOUT ANY WARRANTY; without even the implied warranty of
- *     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- *     GNU General Public License for more details.
- *
- *     You should have received a copy of the GNU General Public License
- *     along with this program; if not, write to the Free Software
- *     Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111, USA.
+ * Licensed under the GPL v2. For licencing details see COPYING.
  */
 
 /** \file sched.h sched and task structures and exported symbols from sched.c */
 /**
  * paraslash's scheduler
  *
- * desinged with KISS in mind. It maintains two lists: The pre_select list
- * and the post_select list. Tasks add hokks to these lists by registering
- * themselves to the scheduler.
+ * desinged with KISS in mind. It manages two lists of tasks.  The pre_select
+ * list contains pointers to functions that are called before calling select()
+ * from the main loop. Similarly, \a post_select_list is a list of function
+ * pointers each of which is called after the select call. Tasks add hooks to
+ * these lists by registering themselves to the scheduler.
  */
 struct sched {
        /** initial value before any pre_select call */
@@ -94,6 +84,5 @@ extern struct timeval *now;
 void register_task(struct task *t);
 void unregister_task(struct task *t);
 int sched(struct sched *s);
-void init_sched(void);
 char *get_task_list(void);
 int kill_task(char *id);