Changeset 8478


Ignore:
Timestamp:
02/06/05 00:40:22 (16 years ago)
Author:
piso
Message:

readMultipleEscape(): signal END-OF-FILE.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/j/src/org/armedbear/lisp/Stream.java

    r8477 r8478  
    33 *
    44 * Copyright (C) 2003-2005 Peter Graves
    5  * $Id: Stream.java,v 1.107 2005-02-05 20:49:47 piso Exp $
     5 * $Id: Stream.java,v 1.108 2005-02-06 00:40:22 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    542542        while (true) {
    543543            int n = _readChar();
    544             if (n < 0)
    545                 break;
     544            if (n < 0) {
     545                signal(new EndOfFile(this));
     546                // Not reached.
     547                return null;
     548            }
    546549            char c = (char) n;
    547550            byte attr = rt.getAttribute(c);
Note: See TracChangeset for help on using the changeset viewer.