Laszlo 已修正此问题,可惜赶不上 0.3.0 了。不过应该很快会有 0.3.1。
Laszlo corrected this, but unfortunately it was too late to make it into 0.3.0. There will probably be a 0.3.1 soon though.
问题在于我用的是 PRIO_MIN,最低优先级本该用 PRIO_MAX。操作系统本不该允许你调高优先级,所以用 PRIO_MIN 应该会让它停在优先级 0。
The problem is I used PRIO_MIN, I should have used PRIO_MAX for the lowest priority. The OS isn't supposed to let you increase priority, so the PRIO_MIN ought to leave it at priority 0.
当前版本尚未建立逐条校对状态记录。来源核验、历史审校与当前译文校对是不同事项。
译文内容版本:58978a8b8d7a。用于比对文本,不代表校对等级或更新时间。
请填写对应原文、现译文、建议译法和理由。复制后通过你联系本站作者的渠道提交;此处不会自动发送。