Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: bootlin/elixir
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: bootlin/elixir
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: prod
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 10 commits
  • 2 files changed
  • 1 contributor

Commits on Oct 15, 2025

  1. docker: apache-conf: allow mod_status access to monitoring IP 

    Signed-off-by: Théo Lebrun <[email protected]>
    @tleb
    tleb committed Oct 15, 2025
    Configuration menu
    Copy the full SHA
    63e14b2 View commit details
    Browse the repository at this point in the history

  2. utils/lxr: add initial version of prod deployment script 

    This is pretty specific to the official server.
Here are some assumptions (probably others were forgotten):

 - Docker is available and is used to host the HTTP server on TCP/8080.

 - A symlink named /srv/elixir-data points to either /srv/elixir-data-a
   or /srv/elixir-data-b. It contains all projects. Indexing is done by
   copying the "hot" data to the "cold" location and starting a new
   container.

Signed-off-by: Théo Lebrun <[email protected]>
    @tleb
    tleb committed Oct 15, 2025
    Configuration menu
    Copy the full SHA
    441ca6e View commit details
    Browse the repository at this point in the history

  3. utils/lxr: avoid bash-specific declare function 

    Signed-off-by: Théo Lebrun <[email protected]>
    @tleb
    tleb committed Oct 15, 2025
    Configuration menu
    Copy the full SHA
    6b5d726 View commit details
    Browse the repository at this point in the history

  4. utils/lxr: fix symlink path 

    Signed-off-by: Théo Lebrun <[email protected]>
    @tleb
    tleb committed Oct 15, 2025
    Configuration menu
    Copy the full SHA
    fbf24b4 View commit details
    Browse the repository at this point in the history

  5. utils/lxr: copy hot data to cold! 

    Signed-off-by: Théo Lebrun <[email protected]>
    @tleb
    tleb committed Oct 15, 2025
    Configuration menu
    Copy the full SHA
    21d6cb3 View commit details
    Browse the repository at this point in the history

  6. utils/lxr: a cron job isn't a TTY, remove docker run --tty argument 

    Signed-off-by: Théo Lebrun <[email protected]>
    @tleb
    tleb committed Oct 15, 2025
    Configuration menu
    Copy the full SHA
    560ba5d View commit details
    Browse the repository at this point in the history

  7. utils/lxr: index: avoid restarting the HTTP server if nothing changed 

    Signed-off-by: Théo Lebrun <[email protected]>
    @tleb
    tleb committed Oct 15, 2025
    Configuration menu
    Copy the full SHA
    306b272 View commit details
    Browse the repository at this point in the history

  8. utils/lxr: update method to call index script 

    Signed-off-by: Théo Lebrun <[email protected]>
    @tleb
    tleb committed Oct 15, 2025
    Configuration menu
    Copy the full SHA
    b964f54 View commit details
    Browse the repository at this point in the history

  9. utils/index: add lock on indexing process 

    Logs indicate that an indexing took longer than twelve hours. That
implies a second `index` call called. As such, it isn't a massive deal.
BUT it might be the reason the LLVM database got corrupted. The
indexing container cannot be started twice has it always has the same
name so Docker fails `docker run` if it already is running. A
corruption sequence could be something like:
 - Indexing 1, duplicate database from A to B
 - Indexing 1, start indexing on B
 - Indexing 2, duplicate database from A to B
=> Database files are copied on top of files that are being worked on.

Use flock (rather than a PID file technique) to protect the update_index
call. If lock is taken, the call fails and the script stops early
because we crash on non-zero returns using `set -e`.

Signed-off-by: Théo Lebrun <[email protected]>
    @tleb
    tleb committed Oct 15, 2025
    Configuration menu
    Copy the full SHA
    50ba1ae View commit details
    Browse the repository at this point in the history

  10. utils/lxr: make networking go through Anubis 

    Signed-off-by: Théo Lebrun <[email protected]>
    @tleb
    tleb committed Oct 15, 2025
    Configuration menu
    Copy the full SHA
    66e3498 View commit details
    Browse the repository at this point in the history
Loading