mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-15 04:55:22 +02:00
Code Issues Wiki Activity

[206843] [doc] Documentation refers to server.pl instead of server.sh

Browse source 
https://bugs.eclipse.org/bugs/show_bug.cgi?id=206843
This commit is contained in:
David Dykstal 2008-06-03 18:16:43 +00:00
parent 1af6e4de5f
commit d13a5e88bb
1 changed files with 12 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
rse/doc/org.eclipse.rse.doc.user/tasks/tbeginlinux.html
View file

@ -86,12 +86,18 @@ range given:<pre>
perl ./daemon.pl 4075 10000-10010</pre> perl ./daemon.pl 4075 10000-10010</pre>
<p><b>To start the server manually</b></p> <p><b>To start the server manually</b></p>
<div class="p">If you do not have root access on a remote machine, you can <div class="p">
start the server manually for your particular user id only. Run <div class="note">
the following commands:<pre>cd /opt/rseserver Note: In the following discussion we assume that the RSE server has been installed on Linux.
perl ./server.pl [port]</pre> If you are running on a UNIX system the script name is "server.sh" rather than "server.pl".
These commands run the server.pl </div>
script located in the /opt/rseserver directory. The port parameter to the server.pl script is If you do not have root access on a remote machine, you can start the server manually for your particular user id only.
Run the following commands:
<pre>
cd /opt/rseserver
perl ./server.pl [port]
</pre>
These commands run the server.pl script located in the /opt/rseserver directory. The port parameter to the server.pl script is
optional. If you do not specify a port, then the server will pick the first optional. If you do not specify a port, then the server will pick the first
one available and print the port number to standard out. By default, it is one available and print the port number to standard out. By default, it is
usually 4033. If you would like to use a different port, you will then have usually 4033. If you would like to use a different port, you will then have