[Patch] Speed up manage_isc