wip: update state_postgres, update dependent modules

bin/ma.send-request

@@ -59,19 +59,19 @@ eof
 
 # Submit the MRVA job with the first query
 cd ~/work-gh/mrva/gh-mrva/
-gh-mrva submit --language cpp --session mirva-session-2372 \
+gh-mrva submit --language cpp --session mirva-session-2473 \
           --list mirva-list                                \
           --query ~/work-gh/mrva/gh-mrva/FlatBuffersFunc.ql
 
 # Check the status of the submitted session
-gh-mrva status --session mirva-session-2372
+gh-mrva status --session mirva-session-2473
 
 # Download SARIF files and databases if there are results.  For the current
 # query / database combination there are zero result hence no downloads
 cd ~/work-gh/mrva/gh-mrva/
-gh-mrva download --session mirva-session-2372   \
+gh-mrva download --session mirva-session-2473   \
         --download-dbs                          \
-        --output-dir mirva-session-2372
+        --output-dir mirva-session-2473
 
 
 #*  Set up QLPack for the next query
@@ -119,9 +119,9 @@ cd ~/work-gh/mrva/gh-mrva/
 gh-mrva download --session mirva-session-2661   \
         --download-dbs                          \
         --output-dir mirva-session-2661
+ls -l mirva-session-2661
 
+# Download only SARIF files
 gh-mrva download --session mirva-session-2661   \
         --output-dir mirva-session-2661
 
-ls -l mirva-session-2661
-

containers/hepc/README.org

@@ -20,7 +20,10 @@
      # Run standalone
      docker run -p 8070:8070 -ti mrva-hepc-container:0.4.0
 
-     # Test server
+     # shell in  hepc
+     docker run -ti mrva-hepc-container:0.4.0 /bin/bash
+
+     # Test server; also when running via compose
      curl 127.0.0.1:8070/index -o - 2>/dev/null | wc -l
 
      curl 127.0.0.1:8070/api/v1/latest_results/codeql-all \