diff options
author | Yasuo Ohgaki <yohgaki@php.net> | 2015-01-29 09:23:10 +0900 |
---|---|---|
committer | Yasuo Ohgaki <yohgaki@php.net> | 2015-01-29 09:25:28 +0900 |
commit | abf9e2ea09e8776f411e7133cd5b838682260e4d (patch) | |
tree | b627ba0a4d5b076ddfedf6bf56511039edaeec87 | |
parent | b2cf3f064b8f5efef89bb084521b61318c71781b (diff) | |
download | php-git-abf9e2ea09e8776f411e7133cd5b838682260e4d.tar.gz |
Fixed Bug #68941 mod_files.sh is a bash-script
-rw-r--r-- | NEWS | 3 | ||||
-rw-r--r-- | ext/session/mod_files.sh | 2 |
2 files changed, 4 insertions, 1 deletions
@@ -39,6 +39,9 @@ PHP NEWS . Fixed bug #68657 (Reading 4 byte floats with Mysqli and libmysqlclient has rounding errors) (Keyur Govande) +- Session: + . Fixed bug #68941 (mod_files.sh is a bash-script) (bugzilla at ii.nl, Yasuo) + - Streams: . Fixed bug which caused call after final close on streams filter. (Bob) diff --git a/ext/session/mod_files.sh b/ext/session/mod_files.sh index 4fc4f20f7f..aac0d48fd0 100644 --- a/ext/session/mod_files.sh +++ b/ext/session/mod_files.sh @@ -1,4 +1,4 @@ -#! /bin/sh +#!/bin/bash if [[ "$2" = "" ]] || [[ "$3" = "" ]]; then echo "Usage: $0 BASE_DIRECTORY DEPTH HASH_BITS" |