<?php
  header('Content-Type: application/json; charset=utf-8');

  $user = $_SERVER['REMOTE_USER'] ?? null;
  if (!$user) {
    http_response_code(401);
    echo json_encode(['error'=>'no-user']);
    exit;
  }

  echo json_encode(['user' => $user]);