Skip to content
This repository has been archived by the owner on Mar 7, 2019. It is now read-only.

fix for small bug file/start.sh #15

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

fix for small bug file/start.sh #15

wants to merge 2 commits into from

Conversation

gfiasco
Copy link

@gfiasco gfiasco commented Jun 5, 2018

check if PID of dovecot is on the /proc/ process table every 10 seconds

$PID is not defined.

$dovecot_pid is the right var here
the number of the pid needs to be checked only once.

in fact if the pid dies the folder /proc/[0-9]*/ will be removed and your loop will break 

which is what should happen if the process die
@psklenar
Copy link

psklenar commented Jun 5, 2018

jenkins/superCI comment

  • Status: failure, return code = 1
  • Result url: https://da.gd/hJ2r
  • Comment: I have no permission to set up status in checks

Copy link
Member

@TomasTomecek TomasTomecek left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice catch.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants