org.handhelds.familiar/packages/pcmcia-cs/pcmcia-cs-3.2.8/nocleanup.patch

   1 --- pcmcia-cs-3.2.8/etc/rc.pcmcia.orig  2005-04-22 23:14:56.308784152 +0100
   2 +++ pcmcia-cs-3.2.8/etc/rc.pcmcia       2005-04-22 23:15:34.637957232 +0100
   3 @@ -140,7 +140,7 @@
   4         echo -n "Shutting down PCMCIA services: "
   5         if [ -s /var/run/cardmgr.pid ] ; then
   6             PID=`cat /var/run/cardmgr.pid`
   7 -           kill $PID
   8 +           kill -9 $PID
   9             # Give cardmgr a few seconds to handle the signal
  10             for N in 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 ; do
  11                 kill -0 $PID 2>/dev/null || break