Turn mark_server_socket_tainted() into a nop if the server socket is already tainted.
authorFabian Keil <fk@fabiankeil.de>
Sat, 12 Sep 2009 12:35:14 +0000 (12:35 +0000)
committerFabian Keil <fk@fabiankeil.de>
Sat, 12 Sep 2009 12:35:14 +0000 (12:35 +0000)
commitd62c7953a673db419b3eec380e37a48c31761b63
tree3afef7a6ac0dc75ad802ba3852b3d826336e0098
parent32e87b3d68fc766c5c0f5ec668d8f1f936ae53b9
Turn mark_server_socket_tainted() into a nop if the server socket is already tainted.

Tainting it twice doesn't hurt, but logging the same message twice is pointless.
jcc.c