Use configuration values for arena directly instead of values cached in local variabl...
tree5f5e8809063ddc3e3e170d17ebaee1bd9e6d989d
-rw-r--r-- 731 .gitignore
-rw-r--r-- 718 AUTHORS
-rw-r--r-- 17992 COPYING
-rw-r--r-- 39170 ChangeLog
-rw-r--r-- 1835 Makefile.am
-rw-r--r-- 3993 NEWS
-rw-r--r-- 2413 README
-rw-r--r-- 1806 THANKS
-rw-r--r-- 10115 configure.ac
drwxr-xr-x - contrib
drwxr-xr-x - dep
drwxr-xr-x - doc
drwxr-xr-x - sql
drwxr-xr-x - src
drwxr-xr-x - win