Fix for issue #3626 (Occurrences of grep, cat,... commands should be replac...

lutoff

23.52.2009 5a726240a2e3fc25d7d324ff483567ec4b1b06ee

 opends/resource/bin/stop-ds

@@ -159,7 +159,8 @@
then
  if test -f "${INSTANCE_ROOT}/logs/server.pid"
  then
    kill `cat "${INSTANCE_ROOT}/logs/server.pid"`
    read PID < "${INSTANCE_ROOT}/logs/server.pid"
    kill ${PID}
    EXIT_CODE=${?}
    if test ${EXIT_CODE} -eq 0
    then