Fix slicing of returned search result headers

Thomas Bruederli

2014-01-20 9202e93b754d07c0e6312f8b51bd4092ea14961d

1
2
3
-- Updates from version 0.7-beta
 
ALTER TABLE "session" ALTER sess_id TYPE varchar(128);