Controlled conversion from Odr_int to int
authorAdam Dickmeiss <adam@indexdata.dk>
Tue, 19 Jan 2010 12:41:40 +0000 (13:41 +0100)
committerAdam Dickmeiss <adam@indexdata.dk>
Tue, 19 Jan 2010 12:41:40 +0000 (13:41 +0100)
commitefb222d1aa3e4d12802ecc5c8dfdf1969085da65
treee2ef23e1e7b34fa26e4926c4fd9e656e1999fdd6
parent7cc2958d8f7877fa54a120cbc218ece03a8c0bcf
Controlled conversion from Odr_int to int

Some Odr_int values do not fit in the backend.h structure which still
uses int for some things such as start and number (record positions).
The conversion from Odr_int to int is performed by a utility
odr_int_to_int in GFS now.
src/seshigh.c
src/session.h