Changeset 4183


Ignore:
Timestamp:
10/03/03 16:49:05 (19 years ago)
Author:
piso
Message:

dispose(): don't send("(exit)"); interpreter.kill() is enough.

File:
1 edited

Legend:

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

    r3906 r4183  
    33 *
    44 * Copyright (C) 2002-2003 Peter Graves
    5  * $Id: JLisp.java,v 1.13 2003-09-19 17:42:09 piso Exp $
     5 * $Id: JLisp.java,v 1.14 2003-10-03 16:49:05 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    140140                if (interpreter != null)
    141141                    interpreter.kill();
    142                 send("(exit)");
    143142                if (socket != null) {
    144143                    try {
Note: See TracChangeset for help on using the changeset viewer.