<?php
  $infile = fopen("karten.txt","r");
  if($infile)
  {
    while(!feof($infile))
    {
      $name = trim(fgets($infile, 256));
      $value = trim(fgets($infile, 256));
      if($name && isset($value))
        $antwortArray[$name] = $value;
    }
    fclose($infile);
  }

  if(isset($_GET["name"],$_GET["value"]))
  {
    $antwortArray[$_GET["name"]] = $_GET["value"];

    $file = fopen("karten.txt","w");
    foreach($antwortArray as $name => $value)
    {
      fputs($file, $name."\n");
      fputs($file, $value."\n");
    }
    fclose($file);
  }

  print(json_encode($antwortArray));
?>