/**
* 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);
}
}
