mirror of https://github.com/MariaDB/server
Browse Source
batch_readline_init() was modified - return an error if the input source is a directory or a block device. This follow-up is necessary because on some platforms, such as Solaris, call to read() from directory may be successful.pull/374/head
2 changed files with 10 additions and 0 deletions
Loading…
Reference in new issue