Merge pull request #28 from robertbaldyga/add_resched

Add env_cond_resched() in the loop that may execute for a long time
This commit is contained in:
Michal Rakowski 2019-01-02 14:54:35 +01:00 committed by GitHub
commit ef2a7b77bd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -674,6 +674,7 @@ finalize:
result = -EINVAL; result = -EINVAL;
break; break;
} }
env_cond_resched();
} }
if (result == 0) { if (result == 0) {