I can just think of manually changing the value of the "result.priority" field,
or perhaps setting the priority in the scheduler code for a resend to a
different value, maybe this can be put in for a config.xml value (i.e. resend
priorities can be higher or lower etc)
_______________________________________________
boinc_dev mailing list
[email protected]
http://lists.ssl.berkeley.edu/mailman/listinfo/boinc_dev
To unsubscribe, visit the above URL and
(near bottom of page) enter your email address.
