* tracdb2env now works again after the milestone schema change.
* Make sure the value returned by has_key is casted to int. Closes #750.
Authored by: jonas 2004-09-09
Parent: [r915]
Child: [r917]