tree e4e55db0052c66711670fd8c60207adbb06d4000
parent 0f89a5733a8d28174c7adeb1fdc20ac11439e766
author Xiaotian Feng <xtfeng@gmail.com> 1351634761 +0000
committer David S. Miller <davem@davemloft.net> 1351969814 -0400

tipc: do not use tasklet_disable before tasklet_kill

If tasklet_disable() is called before related tasklet handled,
tasklet_kill will never be finished. tasklet_kill is enough.

Signed-off-by: Xiaotian Feng <dannyfeng@tencent.com>
Cc: Jon Maloy <jon.maloy@ericsson.com>
Cc: Allan Stephens <allan.stephens@windriver.com>
Cc: "David S. Miller" <davem@davemloft.net>
Cc: netdev@vger.kernel.org
Cc: tipc-discussion@lists.sourceforge.net
Signed-off-by: David S. Miller <davem@davemloft.net>