oar-team / oar

OAR is a versatile resource and task manager (also called a batch scheduler) for clusters and other computing infrastructures.
http://oar.imag.fr/
GNU General Public License v2.0
44 stars 23 forks source link

small doc fix #168

Closed emmanuelthome closed 5 years ago

emmanuelthome commented 5 years ago

In a besteffort + idempotent + checkpoint combination, the information in the man page is misleading as to the conditions that must be met for the automatic resubmission to occur.

npf commented 5 years ago

Could you please amend the commit to fix the typo line 102: resubmitted resubmitted and push force the new commit to be merged ? Thanks

emmanuelthome commented 5 years ago

done.

npf commented 5 years ago

merged