/** * Unregisters the task from the task manager profiler. * * @param taskManagerProfiler the task manager profiler */ public void unregisterProfiler(final TaskManagerProfiler taskManagerProfiler) { if (taskManagerProfiler != null) { taskManagerProfiler.unregisterExecutionListener(this.vertexID); } }