fix read module if readline is not present
@@ -159,18 +159,6 @@ fn read(&mut self, buf: &mut [u8]) -> std::io::Result<usize> {
}
}
- pub fn read_batch(_: &str) -> Result<Vec<u8>, ::SessionError> {
- let mut buf = vec![];
-
- let stdin = stdin();
- let mut stdin = stdin.lock();
-
- match stdin.read_to_end(&mut buf) {
- Ok(_) => Ok(buf),
- _ => Err(::SessionError::UserPrompt)
- }
- }
-
#[inline]
pub fn input_stream() -> ::PrologStream {
let reader: Box<Read> = Box::new(StdinWrapper { buf: BufReader::new(stdin()) });
