You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@flink.apache.org by "Mauro Cortellazzi (JIRA)" <ji...@apache.org> on 2017/05/17 09:46:05 UTC
[jira] [Comment Edited] (FLINK-6611) When TaskManager or JobManager
restart after crash the PID file contain also the old PID
[ https://issues.apache.org/jira/browse/FLINK-6611?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16013802#comment-16013802 ]
Mauro Cortellazzi edited comment on FLINK-6611 at 5/17/17 9:45 AM:
-------------------------------------------------------------------
In {{flink-daemon.sh}} the is the following piece of script:
{code}
# Add to pid file if successful start
if [[ ${mypid} =~ ${IS_NUMBER} ]] && kill -0 $mypid > /dev/null 2>&1 ; then
echo $mypid >> $pid
else
echo "Error starting $DAEMON daemon."
exit 1
fi
{code}
Could it be changed with {{echo $mypid > $pid}} or it brake something?
was (Author: mao.corte@gmail.com):
In `flink-daemon.sh` the is the following piece of script:
{code}
# Add to pid file if successful start
if [[ ${mypid} =~ ${IS_NUMBER} ]] && kill -0 $mypid > /dev/null 2>&1 ; then
echo $mypid >> $pid
else
echo "Error starting $DAEMON daemon."
exit 1
fi
{code}
Could it be changed with {{echo $mypid > $pid}} or it brake something?
> When TaskManager or JobManager restart after crash the PID file contain also the old PID
> ----------------------------------------------------------------------------------------
>
> Key: FLINK-6611
> URL: https://issues.apache.org/jira/browse/FLINK-6611
> Project: Flink
> Issue Type: Bug
> Components: Startup Shell Scripts
> Reporter: Mauro Cortellazzi
> Priority: Trivial
>
> When TaskManager or JobManager restart after crash the PID file contain also the old PID.
--
This message was sent by Atlassian JIRA
(v6.3.15#6346)