Changeset 4655


Ignore:
Timestamp:
11/05/03 19:35:55 (18 years ago)
Author:
piso
Message:

writeString(): call writer.flush() if string contains a newline.

File:
1 edited

Legend:

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

    r4424 r4655  
    33 *
    44 * Copyright (C) 2002-2003 Peter Graves
    5  * $Id: CharacterOutputStream.java,v 1.8 2003-10-17 13:11:52 piso Exp $
     5 * $Id: CharacterOutputStream.java,v 1.9 2003-11-05 19:35:55 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    186186            if (index < 0)
    187187                charPos += s.length();
    188             else
     188            else {
    189189                charPos = s.length() - (index + 1);
     190                writer.flush();
     191            }
    190192        }
    191193        catch (IOException e) {
Note: See TracChangeset for help on using the changeset viewer.