Post submission updates

src/server/encoding.py

@@ -76,18 +76,6 @@ def find_k_new_papers(k, fcode):
         all_papers.append(data)
     return all_papers
 
-def server(port):
-    from flask import Flask, jsonify, request
-    app = Flask(__name__)
-
-    @app.route('/findpapers', methods=['POST'])
-    def example():
-        data = request.json
-        caller = str(request.remote_addr).replace('.', '_')
-        return jsonify(find_k_new_papers(data['k'], caller))
-
-    app.run(port=port)
-
 
 if __name__ == '__main__':
 
@@ -103,10 +91,6 @@ def example():
         k = int(sys.argv[2])
         find_k_new_papers(k, '')
 
-    elif sys.argv[1] == 'server':
-        port = int(sys.argv[2])
-        server(port)
-
     else:
         print(USAGE)
 
@@ -143,7 +127,7 @@ def seed(fn):
     seed = "\nimport random, sys\n\nfrom nnf import Var, Or, dsharp, kissat\n"
     seed += "from difflib import get_close_matches\n"
     seed += "\nfrom encoding import gen_lookup, make_constraints, make_method_constraint, save_theory, load_theory\n\n"
-    seed += f'USAGE = """\n    python3 {SLUG}_encoded.py [compile|find|find-k|server]\n"""\n\n'
+    seed += f'USAGE = """\n    python3 {SLUG}_encoded.py [compile|find|find-k]\n"""\n\n'
 
     for i in range(feature_start, len(lines[0])):
         feature_string = " > ".join([lines[j][i].strip() for j in range(data_start)])

src/server/macq_encoded.py

@@ -12,7 +12,7 @@
 )
 
 USAGE = """
-    python3 macq_encoded.py [compile|find|find-k|server]
+    python3 macq_encoded.py [compile|find|find-k]
 """
 
 x1 = Var("Learning Parameters > Agent Features > Rationality > Causally Rational")
@@ -225,20 +225,6 @@ def find_k_new_papers(k, fcode):
     return all_papers
 
 
-def server(port):
-    from flask import Flask, jsonify, request
-
-    app = Flask(__name__)
-
-    @app.route("/findpapers", methods=["POST"])
-    def example():
-        data = request.json
-        caller = str(request.remote_addr).replace(".", "_")
-        return jsonify(find_k_new_papers(data["k"], caller))
-
-    app.run(port=port)
-
-
 if __name__ == "__main__":
 
     if sys.argv[1] == "compile":
@@ -257,9 +243,5 @@ def example():
         find_k_new_papers(k, "")
         print(f"\n\n\tTime taken: {time.time() - tstart}\n\n")
 
-    elif sys.argv[1] == "server":
-        port = int(sys.argv[2])
-        server(port)
-
     else:
         print(USAGE)

src/server/vamhri_encoded.py

@@ -12,7 +12,7 @@
 )
 
 USAGE = """
-    python3 vamhri_encoded.py [compile|find|find-k|server]
+    python3 vamhri_encoded.py [compile|find|find-k]
 """
 
 x1 = Var(
@@ -442,20 +442,6 @@ def find_k_new_papers(k, fcode):
     return all_papers
 
 
-def server(port):
-    from flask import Flask, jsonify, request
-
-    app = Flask(__name__)
-
-    @app.route("/findpapers", methods=["POST"])
-    def example():
-        data = request.json
-        caller = str(request.remote_addr).replace(".", "_")
-        return jsonify(find_k_new_papers(data["k"], caller))
-
-    app.run(port=port)
-
-
 if __name__ == "__main__":
 
     if sys.argv[1] == "compile":
@@ -474,9 +460,5 @@ def example():
         find_k_new_papers(k, "")
         print(f"\n\n\tTime taken: {time.time() - tstart}\n\n")
 
-    elif sys.argv[1] == "server":
-        port = int(sys.argv[2])
-        server(port)
-
     else:
         print(USAGE)

src/server/xaip_encoded.py

@@ -12,7 +12,7 @@
 )
 
 USAGE = """
-    python3 xaip_encoded.py [compile|find|find-k|server]
+    python3 xaip_encoded.py [compile|find|find-k]
 """
 
 x1 = Var("Explanation > Artifact being explained > Algorithmic")
@@ -241,20 +241,6 @@ def find_k_new_papers(k, fcode):
     return all_papers
 
 
-def server(port):
-    from flask import Flask, jsonify, request
-
-    app = Flask(__name__)
-
-    @app.route("/findpapers", methods=["POST"])
-    def example():
-        data = request.json
-        caller = str(request.remote_addr).replace(".", "_")
-        return jsonify(find_k_new_papers(data["k"], caller))
-
-    app.run(port=port)
-
-
 if __name__ == "__main__":
 
     if sys.argv[1] == "compile":
@@ -273,9 +259,5 @@ def example():
         find_k_new_papers(k, "")
         print(f"\n\n\tTime taken: {time.time() - tstart}\n\n")
 
-    elif sys.argv[1] == "server":
-        port = int(sys.argv[2])
-        server(port)
-
     else:
         print(USAGE)