Конвертирование пользователей из mysql в xml

[helen80]

Здравствуйте, пытаюсь сгенерировать файл userlist.xml на основе данных mysql

Code: Select all

./ej-users --convert --from-plugin mysql --to-plugin xml

в результате получаю следующую ошибку

Code: Select all

Mon Jan 20 13:31:10 2014:info:ej-users 2.3.29+ (SVN r7685) #1, compiled Sun Jan 19 21:16:16 2014
mysql: SELECT config_val FROM config WHERE config_key = 'version' ;
mysql: SELECT MAX(serial) FROM members WHERE 1 ;
mysql: SELECT user_id FROM logins WHERE 1 ;
Segmentation fault

Я что-то делаю не так?

И вот еще возникла проблема

Code: Select all

./ej-convert-clars 13213 file mysql

Ошибка

Code: Select all

Mon Jan 20 14:36:22 2014:info:clar_open: opening database /home/judges/013213/var/clar.log
Mon Jan 20 14:36:22 2014:error:cannot load `/usr/local/ejudge/libexec/ejudge/plugins/common_mysql.so': /usr/local/ejudge/libexec/ejudge/plugins/common_mysql.so: undefined symbol: xml_parse_full_cookie
Mon Jan 20 14:36:22 2014:error:plugin_load_external: cannot load plugin common, mysql
Mon Jan 20 14:36:22 2014:error:cannot load common_mysql plugin
Mon Jan 20 14:36:22 2014:error:plugin_load_external: prepare failed for cldb, mysql
Mon Jan 20 14:36:22 2014:error:cannot load plugin cldb, mysql
ej-convert-clars: cannot open the destination clarlog

Пользователи и раны сконвертировались нормально!

[cher]

MySQL -> XML для пользователей не реализован (и в ближайшее время не планируется);
ошибка для clardb будет исправлена в следующей версии.