[
https://issues.apache.org/jira/browse/FLINK-6611?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16013802#comment-16013802
]
Mauro Cortellazzi commented on FLINK-6611:
------------------------------------------
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)
