]> git.tue.mpg.de Git - paraslash.git/commit
server: Rename "vss task" -> vss.
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 7 Aug 2017 22:32:33 +0000 (00:32 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 2 Oct 2017 06:30:51 +0000 (08:30 +0200)
commit1d2aa7dcc09cd7ed06d18372eb85407f556cb529
treef574dc9986b87e93106a157c35bde2590c767593
parent31e1dce0df4f9760b046bff201df0baf382c62c2
server: Rename "vss task" -> vss.

The other tasks of the server process are called "server command"
and "signal", so let's be consistent and drop the redundant "task".
vss.c