From 73562068c03380fcefe498c50f5cd73360c6e9f0 Mon Sep 17 00:00:00 2001 From: Christian Muise Date: Tue, 10 May 2022 23:08:20 -0400 Subject: [PATCH] Removing old server code. --- src/server/encoding.py | 18 +----------------- src/server/macq_encoded.py | 20 +------------------- src/server/vamhri_encoded.py | 20 +------------------- src/server/xaip_encoded.py | 20 +------------------- 4 files changed, 4 insertions(+), 74 deletions(-) diff --git a/src/server/encoding.py b/src/server/encoding.py index 05c970c..f0311aa 100644 --- a/src/server/encoding.py +++ b/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)]) diff --git a/src/server/macq_encoded.py b/src/server/macq_encoded.py index 3caad54..16e467d 100644 --- a/src/server/macq_encoded.py +++ b/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) diff --git a/src/server/vamhri_encoded.py b/src/server/vamhri_encoded.py index 924776f..a8a4fa2 100644 --- a/src/server/vamhri_encoded.py +++ b/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) diff --git a/src/server/xaip_encoded.py b/src/server/xaip_encoded.py index 9494b64..4732331 100644 --- a/src/server/xaip_encoded.py +++ b/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)