Don't mark closed custom binary ports.
authorLudovic Courtès <ludo@gnu.org>
Sun, 21 Jun 2009 14:05:27 +0000 (16:05 +0200)
committerLudovic Courtès <ludo@gnu.org>
Sun, 21 Jun 2009 14:05:27 +0000 (16:05 +0200)
commit30bc75ae46cb34d6c7306f1f5fd8937766c3f255
treec306fea23617a6f6915ad6bcb6e1c8b53e4d4cb4
parent2da8c8274c911d03ad3a9224352def51c7a8a1d1
Don't mark closed custom binary ports.

Patch from Guile `master' by Andy/Mike.
src/ports.c