Add web interface. It defaults to port 8000.
authorbdemsky <bdemsky>
Tue, 22 May 2007 04:30:54 +0000 (04:30 +0000)
committerbdemsky <bdemsky>
Tue, 22 May 2007 04:30:54 +0000 (04:30 +0000)
commit0255eec41b9bc9b21eaf14a68c2a6bda28e51064
treeb5694d537aab0aa62cd1111e7ae6067533c2a354
parent2d97bf7784b110e8b9eaa2fff04e76a8c107ba0d
Add web interface.  It defaults to port 8000.
17 files changed:
Robust/src/Analysis/TaskStateAnalysis/FlagState.java
Robust/src/Analysis/TaskStateAnalysis/TaskGraph.java
Robust/src/Analysis/TaskStateAnalysis/TaskNode.java
Robust/src/IR/State.java
Robust/src/Interface/HTTPHeader.java [new file with mode: 0644]
Robust/src/Interface/HTTPResponse.java [new file with mode: 0644]
Robust/src/Interface/HTTPServices.java [new file with mode: 0644]
Robust/src/Interface/HashStrings.java [new file with mode: 0644]
Robust/src/Interface/IdentityRelation.java [new file with mode: 0644]
Robust/src/Interface/Imap.java [new file with mode: 0644]
Robust/src/Interface/JhttpServer.java [new file with mode: 0644]
Robust/src/Interface/JhttpWorker.java [new file with mode: 0644]
Robust/src/Interface/LogFile.java [new file with mode: 0644]
Robust/src/Interface/WebInterface.java [new file with mode: 0644]
Robust/src/Main/Main.java
Robust/src/Makefile
Robust/src/buildscript