KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > armedbear > j > Server


1 /*
2  * Server.java
3  *
4  * Copyright (C) 1998-2003 Peter Graves
5  * $Id: Server.java,v 1.2 2003/06/29 00:19:34 piso Exp $
6  *
7  * This program is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License
9  * as published by the Free Software Foundation; either version 2
10  * of the License, or (at your option) any later version.
11  *
12  * This program is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with this program; if not, write to the Free Software
19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20  */

21
22 package org.armedbear.j;
23
24 import java.io.BufferedReader JavaDoc;
25 import java.io.InputStreamReader JavaDoc;
26 import java.io.OutputStream JavaDoc;
27 import java.net.ServerSocket JavaDoc;
28 import java.net.Socket JavaDoc;
29 import java.net.SocketException JavaDoc;
30 import java.util.Vector JavaDoc;
31 import javax.swing.SwingUtilities JavaDoc;
32
33 public class Server implements Runnable JavaDoc
34 {
35     private static Server server;
36
37     private ServerSocket JavaDoc socket;
38     private Thread JavaDoc thread;
39
40     public static void startServer()
41     {
42         try {
43             server = new Server();
44             server.socket = new ServerSocket JavaDoc(0);
45             int port = server.socket.getLocalPort();
46             OutputStream JavaDoc out = Editor.portfile.getOutputStream();
47             out.write(String.valueOf(port).getBytes());
48             out.close();
49             server.thread = new Thread JavaDoc(server);
50             server.thread.setName("server");
51             server.thread.setPriority(Thread.MIN_PRIORITY);
52             server.thread.setDaemon(true);
53             server.thread.start();
54         }
55         catch (Exception JavaDoc e) {
56             Log.error(e);
57         }
58     }
59
60     public static void stopServer()
61     {
62         Editor.portfile.delete();
63     }
64
65     public void run()
66     {
67         while (true) {
68             try {
69                 Socket JavaDoc sock = socket.accept(); // Blocks.
70
// Process request.
71
BufferedReader JavaDoc in = new BufferedReader JavaDoc(new InputStreamReader JavaDoc(sock.getInputStream()));
72                 Vector JavaDoc v = null;
73                 while (true) {
74                     String JavaDoc s = in.readLine();
75                     if (s == null)
76                         break;
77                     if (v == null)
78                         v = new Vector JavaDoc();
79                     v.add(s);
80                 }
81                 in.close();
82                 sock.close();
83                 SwingUtilities.invokeLater(new Messenger(v));
84             }
85             catch (SocketException JavaDoc e) {
86                 return;
87             }
88             catch (Exception JavaDoc e) {
89                 Log.error(e);
90             }
91         }
92     }
93
94     class Messenger implements Runnable JavaDoc
95     {
96         Vector JavaDoc v = null;
97
98         // If this constructor is private, we run into jikes 1.15 bug #2256.
99
Messenger(Vector JavaDoc v)
100         {
101             this.v = v;
102         }
103
104         public void run()
105         {
106             Editor editor = Editor.currentEditor();
107             if (v != null && v.size() > 0) {
108                 Editor other = editor.getOtherEditor();
109                 if (other != null && editor.getBuffer().isSecondary())
110                     editor = other;
111                 if (!editor.getBuffer().isPrimary())
112                     Debug.bug();
113                 Buffer toBeActivated = editor.openFiles(v);
114                 if (toBeActivated != null) {
115                     editor.makeNext(toBeActivated);
116                     editor.switchToBuffer(toBeActivated);
117                     if (!Editor.getEditorList().contains(editor))
118                         Debug.bug();
119                     editor.updateDisplay();
120                 }
121             }
122             editor.getFrame().toFront();
123             editor.requestFocus();
124         }
125     }
126 }
127
Popular Tags