Re: [Maria-developers] [Maria-discuss] MariaDB crashes because of "long semaphore wait"after migrating from 10.1 to 10.3

2018-06-10 Thread Vladislav Vaintroub
I think this is a bug, and as such it is best to have in JIRA https://jira.mariadb.org/ . it is not really to possibly to give a good advice on a vaguely defined bug without extra info. In that particular case, I suggest to add core-file=1 to the my.ini, wait for a crash, and attach both

Re: [Maria-developers] unbundle RocksDB

2018-06-10 Thread Vicențiu Ciorbaru
Hi Michal, Just so you know, we've been discussing the possibility of adding compression services to the server, which would allow removing some static libraries from the code. This however is probably a bit far on the horizon as we haven't particularly scheduled it for 10.4 (yet). Vicentiu On