bug#10616: flush procedure for soft ports isn't called

[Ludovic Courtès]

Hi Ian,

I fail to see the patch, and to retrieve it from
<http://bugs.gnu.org/10616>.  Could you resend it inline?

Thanks!

Ludo’.