delorie.com/archives/browse.cgi   search  
Mail Archives: cygwin/2001/10/15/15:21:41

Mailing-List: contact cygwin-help AT sourceware DOT cygnus DOT com; run by ezmlm
List-Subscribe: <mailto:cygwin-subscribe AT sources DOT redhat DOT com>
List-Archive: <http://sources.redhat.com/ml/cygwin/>
List-Post: <mailto:cygwin AT sources DOT redhat DOT com>
List-Help: <mailto:cygwin-help AT sources DOT redhat DOT com>, <http://sources.redhat.com/ml/#faqs>
Sender: cygwin-owner AT sources DOT redhat DOT com
Delivered-To: mailing list cygwin AT sources DOT redhat DOT com
Date: Mon, 15 Oct 2001 21:19:50 +0200
From: Kurt Roeckx <Q AT ping DOT be>
To: cygwin AT cygwin DOT com
Subject: Stale pid files.
Message-ID: <20011015211950.A764@ping.be>
Mime-Version: 1.0
User-Agent: Mutt/1.2.5i

Is there any way to remove stale pid files during system boot?

The NT 4.0 seems to have had a spontaneous reboot during the
weekend, so postgresql wasn't shut down properly.  This leaves a
stale pid file, and I don't know of a way to automaticly remove
it.  Postgresql refused to start until I removed that pid file.

I see two solutions to fix this problem:
- Add some code to postgresql to better detect if an other
  instance is running.
- Start some script/batch file during boot that removes the pid
  file.

Is their a way to run a script during boot that gets started
before the service(s) get started?  I know there is something as
"run once", but I have no idea how to add something to this, and
when it exactly runs.

Changing postgresql to properly detect if on that pid there is an
instance of postgres running, and it's not his own pid, might do
the trick too.  I just have no idea how to get the name of that
program, and should probably take a look at ps.


Kurt


--
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
Bug reporting:         http://cygwin.com/bugs.html
Documentation:         http://cygwin.com/docs.html
FAQ:                   http://cygwin.com/faq/

- Raw text -


  webmaster     delorie software   privacy  
  Copyright © 2019   by DJ Delorie     Updated Jul 2019