Skip to content

Latest commit

 

History

History

server

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
incoming
incoming
 
 
input
input
 
 
obsolete
obsolete
 
 
.gitignore
.gitignore
 
 
PROTOCOL.txt
PROTOCOL.txt
 
 
README.txt
README.txt
 
 
add-backpropagate-chunks-to-workqueue.sh
add-backpropagate-chunks-to-workqueue.sh
 
 
add-chunks-to-workqueue.sh
add-chunks-to-workqueue.sh
 
 
add-solve2-chunks-to-workqueue.sh
add-solve2-chunks-to-workqueue.sh
 
 
chunks-print-WorkQueue-summary.sql
chunks-print-WorkQueue-summary.sql
 
 
chunks-print-WorkQueue.sql
chunks-print-WorkQueue.sql
 
 
chunks-schema.sql
chunks-schema.sql
 
 
chunks-test-data.sql
chunks-test-data.sql
 
 
codec.py
codec.py
 
 
collect-chunks.sh
collect-chunks.sh
 
 
encode-input-file.py
encode-input-file.py
 
 
server.py
server.py
 
 
start-next-phase.sh
start-next-phase.sh
 
 

README.txt

This directory contains source files for the Push Fight work server,
which is accessed by the network-enabled solvers like solve2.

server.py serves on two ports:

 - port 7429: work assignment using a custom RPC protocol.
 - port 7430: plain text status page served over HTTP.