]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
server: Add com_tasks().
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 28 Sep 2014 17:02:46 +0000 (17:02 +0000)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 23 Nov 2014 16:00:13 +0000 (17:00 +0100)
It is sometimes useful to see the task list of para_server. The
infrastructure for obtaining this information is already in sched.c,
so this is a rather simple matter.


No differences found