diff --git a/src/dm/DispatchManagerActions.cc b/src/dm/DispatchManagerActions.cc index d3849d3686..3aa69c744e 100644 --- a/src/dm/DispatchManagerActions.cc +++ b/src/dm/DispatchManagerActions.cc @@ -320,6 +320,13 @@ void DispatchManager::free_vm_resources(unique_ptr vm, vm->set_exit_time(time(0)); + if (vm->hasHistory() && vm->get_etime() == 0) + { + vm->set_etime(time(0)); + + vmpool->update_history(vm.get()); + } + VectorAttribute * graphics = vm->get_template_attribute("GRAPHICS"); if ( graphics != nullptr && graphics->vector_value("PORT", port) == 0