...and finally the OK: problem solved (thanks to Luís Oliveira / Slime mailing list):
This would be a possible patch to 'swank.lisp':
(defun repl-input-stream-read (connection stdin) (loop (let* ((socket (connection.socket-io connection)) + (inputs (list socket #-android stdin)) - (inputs (list socket stdin)) (ready (wait-for-input inputs))) (cond ((eq ready :interrupt) (check-slime-interrupts))
(quickly tested by me on both Android and PC.)
Paul