Don't try to print file extension in a warning message if it's not available

Aleksander Machniak

2013-02-21 e68d2a15f52dcc13e5b2a84a3d2f8645ccb5cec1

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