commit 18e8bcb289dd5ea77c12668ea1e2904627fc8531
author Giampaolo Rodolà <g.rodola@gmail.com> Fri Feb 25 20:57:54 2011 +0000
committer Giampaolo Rodolà <g.rodola@gmail.com> Fri Feb 25 20:57:54 2011 +0000
tree 2913219ca3d5ff58b4f9dbb767f1ccba36c7b1f0
parent 211b81dd0916ce6e83f23b222bc06d45b904a838

Issue 10784: adds os.getpriority() and os.setpriority() functions.

configure

diff --git a/configure b/configure
index c775a85..cbc5293 100755
--- a/configure
+++ b/configure
@@ -9318,7 +9318,7 @@
  putenv readlink realpath \
  select sem_open sem_timedwait sem_getvalue sem_unlink sendfile setegid seteuid \
  setgid \
- setlocale setregid setreuid setresuid setresgid setsid setpgid setpgrp setuid setvbuf \
+ setlocale setregid setreuid setresuid setresgid setsid setpgid setpgrp setpriority setuid setvbuf \
  sigaction siginterrupt sigrelse snprintf strftime strlcpy \
  sysconf tcgetpgrp tcsetpgrp tempnam timegm times tmpfile tmpnam tmpnam_r \
  truncate uname unsetenv utimes waitpid wait3 wait4 \