Changeset 125

Timestamp:

10/13/02 17:02:48 (21 years ago)

Author:

piso

Message:

Changes for LispShell?.java.

Location:

trunk/j/src/org/armedbear/j

Files:

• RemoteShell.java (modified) (2 diffs)
• Shell.java (modified) (6 diffs)

trunk/j/src/org/armedbear/j/RemoteShell.java

@@ -3 +3 @@
  *
  * Copyright (C) 2000-2002 Peter Graves
- * $Id: RemoteShell.java,v 1.3 2002-10-11 13:58:54 piso Exp $
+ * $Id: RemoteShell.java,v 1.4 2002-10-13 17:02:48 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -54 +54 @@
     }
 
-    private void startProcess()
+    protected void startProcess()
     {
         Process process = null;

trunk/j/src/org/armedbear/j/Shell.java

@@ -3 +3 @@
  *
  * Copyright (C) 1998-2002 Peter Graves
- * $Id: Shell.java,v 1.7 2002-10-13 14:02:55 piso Exp $
+ * $Id: Shell.java,v 1.8 2002-10-13 17:00:14 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -37 +37 @@
 public class Shell extends Buffer implements Constants
 {
+    protected static final String JPTY_NOT_FOUND =
+        "Unable to start shell process (jpty not found in PATH)";
+
     private RE promptRE = new UncheckedRE(DEFAULT_SHELL_PROMPT_PATTERN);
 
@@ -75 +78 @@
     }
 
-    private Shell(String shellCommand)
+    protected Shell(String shellCommand)
     {
         this();
@@ -122 +125 @@
     protected void initializeHistory()
     {
-        history = new History("shell.history");
+        history = new History("shell.history", 30);
     }
 
@@ -135 +138 @@
                 message = "Unable to start shell process \"" + shell.shellCommand + "\"";
             else
-                message = "Unable to start shell process (jpty not found in PATH)";
+                message = JPTY_NOT_FOUND;
             MessageDialog.showMessageDialog(message, "Error");
             return null;
@@ -143 +146 @@
     }
 
-    private void startProcess()
+    protected void startProcess()
     {
         // Only set initialDir the first time we run, so that if we restart