Instructions for studying this course off-line
In order to study the course text off-line you need to download and
install not just the text but also some supporting software.
The installation is different for Windows and Unix systems.
If you have downloaded the course text before and just wish to update
the content without the supporting software, you can download
this update zip file .
It only contains the "tutorial" directory.
Microsoft Windows'95, '98, NT and 2000
- You need to download a zip archive
which contains a Java Runtime Environment, A Java-based Webserver
and the actual course text and software.
- You must unzip the archive in the directory
C:\ where it creates a directory called "jswdk-1.0".
This is the name of the Webserver, which is supplied by Sun Microsystems.
The AHA system might not work if you install it in another directory
or on another drive. (Installing in another directory requires
some initializations in some scripts to be altered.)
- Each time you wish to use the tutorial you must start the
Webserver, through a batch file: C:\jswdk-1.0\startserver.bat.
Stopping the server is done through
C:\jswdk-1.0\stopserver.bat.
- The Webserver listens to port 8080 on the local loopback 127.0.0.1,
also called "localhost".
To connect to the server and log on to the course you must connect to
http://127.0.0.1:8080/tutorial/ .
Unix
- You need to download a
gzipped tar archive which contains
a Java-based Webserver and the actual course text and software.
This archive does not contain a Java Runtime Environment.
You must install a Java Runtime Environment yourself!
- You must ungzip and untar the archive in any directory where you
have write permission.
$HOME/jswdk-1.0 would be a good suggestion.
You must also initialize some scripts (startserver and stopserver)
so that they find the installation and the Java Runtime Environment.
- Each time you wish to use the AHA system you must start the
Webserver, through a shell script:
startserver.
Stopping the server is done through the script stopserver.
- The Webserver listens to port 8080 on the local loopback 127.0.0.1.
To connect to the server and log on to the course you must connect to
http://127.0.0.1:8080/tutorial/ .