mirror of
https://github.com/MariaDB/server.git
synced 2025-12-13 20:03:16 +03:00
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.
137 KiB
137 KiB