[
https://issues.apache.org/jira/browse/FLINK-6611?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Mauro Cortellazzi updated FLINK-6611:
-------------------------------------
Summary: When TaskManager or JobManager restart after crash the PID file
contain also the old PID (was: When TaskManager or JobManager crash)
> 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
>
--
This message was sent by Atlassian JIRA
(v6.3.15#6346)
