Changes of Simple Parallel Exec from #12 to #13

Changed lines at line 49
- on http request for new task:  reply with  the next command to execute and all parameters. __standard file format for a task?__
- on post: validate result and mark set and collect results __ok result validation on server__
- no more --parameter set-- __task?__ ~~(cleaner terminology)~~ to process: exit and display statistics. __statistics during runtime? per webpage?__
1.1 Client
* Format of communication is specified in [Simple Parallel Exec#Protocol] section
* gets via command line: Session ID, server URL and port
- register at the server and fetch configuration
- check for the worker: if not already at local filesystem or the MD5 checksum is wrong: fetch it (for own platform) from the server 
- fetch a task 
- run worker
- check return code: if failed -> Post failture otherwise take the results and post them.
- fetch next task
- die if there is no more task or the server is not responding.
* different settings for termination: delete executeable (if fetched), delete the client program, delete results?
 
1 Protocol
1.1 Configuration
- Request: GET \http://master/config?sessionID=SESSIONID
- Fail (due to wrong session id): 403 (Forbidden)
- Successful Reply: List of Key = Value pairs.
{code:none}
DeleteWorker=Yes/No
DeleteClient=Yes/No
Ping=#
{code}
1.1 Ping (HTTP)
* Ping interval is given in seconds. 0 for no ping.
* Purpose of the ping is that the client realises if the server is stopped or finished or even dead.
- Request: GET \http://master/ping?sessionID=SESSIONID&ticket=TICKET
- Fail due to wrong session id: 403 (Forbidden)
- Successful, but ticket expired (task already done): 205 (Reset Content)
- Successful (keep on it!): 204 (No Content)
1.1 Worker
- Request: GET \http://master/worker?sessionID=SESSIONID&name=NAME&platform=PLATFORM
- Fail (due to wrong session id, or wrong name): 403 (Forbidden)
- Fail (due to unsupported platform): 415 Unsupported Media Type
- Success: binary file
1.1 Task
- Request: GET \http://master/task?sessionID=SESSIONID
- Fail (due to wrong session id): 403 (Forbidden)
- Fail (because no task left): 503 Service Unavailable
- Success: 
{code:none}
Ticket=#  (unique number within session (usually quite short (in the magnitude of the amount of tasks)))
CommandLine=commandline
[Input]*
File=filename (or "stdin")
--begin content--
real file content here (binary)
--end content--
- on http request for new task:  reply with  the next command to execute and all parameters. 
- on http request for statistics (normal website): reply statistics webpage
- on post: validate result, mark task as completed and collect results
- no more task to process: exit and display statistics.
1.1 Client
* Format of communication is specified in [Simple Parallel Exec#Protocol] section
* gets via command line: Session ID, server URL and port
- register at the server and fetch configuration
- check for the worker: if not already at local filesystem or the MD5 checksum is wrong: fetch it (for own platform) from the server 
- fetch a task 
- run worker
- check return code: if failed -> Post failture otherwise take the results and post them.
- fetch next task
- die if there is no more task or the server is not responding.
* different settings for termination: delete executeable (if fetched), delete the client program, delete results?
 
1 Protocol
1.1 Configuration
- Request: GET \http://master/config?sessionID=SESSIONID
- Fail (due to wrong session id): 403 (Forbidden)
- Successful Reply: List of Key = Value pairs.
{code:none}
DeleteWorker=Yes/No
DeleteClient=Yes/No
Ping=#
{code}
1.1 Ping (HTTP)
* Ping interval is given in seconds. 0 for no ping.
* Purpose of the ping is that the client realises if the server is stopped or finished or even dead.
- Request: GET \http://master/ping?sessionID=SESSIONID&ticket=TICKET
- Fail due to wrong session id: 403 (Forbidden)
- Successful, but ticket expired (task already done): 205 (Reset Content)
- Successful (keep on it!): 204 (No Content)
1.1 Worker
- Request: GET \http://master/worker?sessionID=SESSIONID&name=NAME&platform=PLATFORM
- Fail (due to wrong session id, or wrong name): 403 (Forbidden)
- Fail (due to unsupported platform): 415 Unsupported Media Type
- Success: binary file
1.1 Task
- Request: GET \http://master/task?sessionID=SESSIONID
- Fail (due to wrong session id): 403 (Forbidden)
- Fail (because no task left): 503 Service Unavailable
- Success: 
{code:none}
Ticket=#  (unique number within session)
CommandLine=commandline
[Input]*
File=filename (or "stdin")
Content=<<ENDOFCONTENT
real file content here (ASCII)
ENDOFCONTENT