Compare pointers rather than ids in Scheduler::notifyExecutorShutdown (#144)

Author: eigenraven

src/scheduler/Scheduler.cpp

@@ -172,7 +172,7 @@ void Scheduler::notifyExecutorShutdown(Executor* exec,
     int execIdx = -1;
     std::vector<std::shared_ptr<Executor>>& thisExecutors = executors[funcStr];
     for (int i = 0; i < thisExecutors.size(); i++) {
-        if (thisExecutors.at(i)->id == exec->id) {
+        if (thisExecutors.at(i).get() == exec) {
             execIdx = i;
             break;
         }