delete source/downloads after building in script, add .editorconfig (#2000)

* delete source/downloads after building in script, not in dockerfile

* add editorconfig

* eol

* cs fix

* added \n there

* we expect Hello\n

* Change tab width for shell scripts to 4 spaces

* bring back embed comment
This commit is contained in:
Marc
2025-11-20 11:49:09 +01:00
committed by GitHub
parent c93729e136
commit 49e98cc8d6
11 changed files with 101 additions and 90 deletions

View File

@@ -1,16 +1,16 @@
<?php
ignore_user_abort(true);
require_once __DIR__.'/_executor.php';
return function () {
if($_GET['finish'] ?? false) {
frankenphp_finish_request();
}
echo 'hi';
flush();
$status = (string) connection_status();
error_log("request {$_GET['i']}: " . $status);
};
<?php
ignore_user_abort(true);
require_once __DIR__.'/_executor.php';
return function () {
if($_GET['finish'] ?? false) {
frankenphp_finish_request();
}
echo 'hi';
flush();
$status = (string) connection_status();
error_log("request {$_GET['i']}: " . $status);
};

2
testdata/hello.txt vendored
View File

@@ -1 +1 @@
Hello
Hello

View File

@@ -2,38 +2,38 @@
echo "<pre>\n";
foreach ([
'CONTENT_LENGTH',
'HTTP_CONTENT_LENGTH',
'CONTENT_TYPE',
'HTTP_CONTENT_TYPE',
'HTTP_SPECIAL_CHARS',
'DOCUMENT_ROOT',
'DOCUMENT_URI',
'GATEWAY_INTERFACE',
'HTTP_HOST',
'HTTPS',
'PATH_INFO',
'DOCUMENT_ROOT',
'REMOTE_ADDR',
'PHP_SELF',
'REMOTE_HOST',
'REQUEST_SCHEME',
'SCRIPT_FILENAME',
'SCRIPT_NAME',
'SERVER_NAME',
'SERVER_PORT',
'SERVER_PROTOCOL',
'SERVER_SOFTWARE',
'SSL_PROTOCOL',
'AUTH_TYPE',
'REMOTE_IDENT',
'PATH_TRANSLATED',
'QUERY_STRING',
'REMOTE_USER',
'REQUEST_METHOD',
'REQUEST_URI',
'HTTP_X_EMPTY_HEADER',
] as $name) {
'CONTENT_LENGTH',
'HTTP_CONTENT_LENGTH',
'CONTENT_TYPE',
'HTTP_CONTENT_TYPE',
'HTTP_SPECIAL_CHARS',
'DOCUMENT_ROOT',
'DOCUMENT_URI',
'GATEWAY_INTERFACE',
'HTTP_HOST',
'HTTPS',
'PATH_INFO',
'DOCUMENT_ROOT',
'REMOTE_ADDR',
'PHP_SELF',
'REMOTE_HOST',
'REQUEST_SCHEME',
'SCRIPT_FILENAME',
'SCRIPT_NAME',
'SERVER_NAME',
'SERVER_PORT',
'SERVER_PROTOCOL',
'SERVER_SOFTWARE',
'SSL_PROTOCOL',
'AUTH_TYPE',
'REMOTE_IDENT',
'PATH_TRANSLATED',
'QUERY_STRING',
'REMOTE_USER',
'REQUEST_METHOD',
'REQUEST_URI',
'HTTP_X_EMPTY_HEADER',
] as $name) {
echo "$name:" . $_SERVER[$name] . "\n";
}
echo "</pre>";
echo "</pre>\n";

View File

@@ -30,4 +30,4 @@ REMOTE_USER:user
REQUEST_METHOD:POST
REQUEST_URI:/original-path?specialChars=%3E\x00%00</>
HTTP_X_EMPTY_HEADER:
</pre>
</pre>