No longer build or use the modify-cargo-toml tool

Author: shepmaster

compiler/base/Dockerfile

@@ -68,13 +68,6 @@ COPY --chown=playground Cargo.toml /playground/Cargo.toml
 COPY --chown=playground crate-information.json /playground/crate-information.json
 RUN cargo fetch
 
-# Build our tool for modifying Cargo.toml at runtime
-
-FROM toolchain as modify-cargo-toml
-
-COPY --chown=playground modify-cargo-toml /playground/modify-cargo-toml
-RUN cargo build --release --manifest-path=/playground/modify-cargo-toml/Cargo.toml
-
 # Set up cargo-chef for faster builds
 
 FROM toolchain as chef-available
@@ -116,7 +109,6 @@ RUN cargo clippy
 RUN if [ "${channel}" = 'nightly' ]; then cargo miri setup; cargo miri run; fi
 RUN rm src/*.rs
 
-COPY --from=modify-cargo-toml /playground/modify-cargo-toml/target/release/modify-cargo-toml /playground/.cargo/bin
 COPY --from=build-orchestrator /playground/.cargo/bin/worker /playground/.cargo/bin/worker
 COPY --from=wasm-tools /playground/.cargo/bin/wasm-tools /playground/.cargo/bin
 COPY --chown=playground cargo-wasm /playground/.cargo/bin

compiler/base/entrypoint.sh

@@ -2,14 +2,6 @@
 
 set -eu
 
-if [[ -z "${PLAYGROUND_ORCHESTRATOR:-}" ]]; then
-    timeout=${PLAYGROUND_TIMEOUT:-10}
-
-    modify-cargo-toml
-
-    # Don't use `exec` here. The shell is what prints out the useful
-    # "Killed" message
-    timeout --signal=KILL ${timeout} "$@"
-else
-    exec "$@"
-fi
+# This entrypoint is a no-op but I'm leaving it to be easier to
+# re-create at some future point.
+exec "$@"

compiler/base/modify-cargo-toml/src/main.rs

@@ -2617,6 +2617,9 @@ impl Backend for DockerBackend {
             .args(["--name", &name])
             .arg("-i")
             .args(["-a", "stdin", "-a", "stdout", "-a", "stderr"])
+            // PLAYGROUND_ORCHESTRATOR is vestigial; I'm leaving it
+            // for a bit to allow new containers to get built and
+            // distributed.
             .args(["-e", "PLAYGROUND_ORCHESTRATOR=1"])
             .arg("--rm")
             .arg(channel.to_container_name())