PHPでアクセス元のIPアドレスを取得する方法
こんにちは、さるまりんです。 PHPでアクセス元のIPアドレスを取得するには定義済みの変数$_SERVERを利用して次のように取得しま...
ものづくりと日々の楽しみのために
こんにちは、さるまりんです。 PHPでアクセス元のIPアドレスを取得するには定義済みの変数$_SERVERを利用して次のように取得しま...
こんにちは、さるまりんです。 小ネタです。 curlコマンドでサイトにアクセスする際に次のようなエラーが発生しました。 cur...
こんにちは、さるまりんです。 小ネタです。 文字列の中から最後のブロックを取り外して取得するというのをやってました。 なん...
こんにちは、さるまりんです。 PHPの実行時間についてです。 // 最大実行時間を30秒に設定 ini_set('max_exec...
こんにちは、さるまりんです。 PHPのfile_get_contentsで別サーバーにあるファイルをダウンロードするプログラムを書いて...
こんにちは、さるまりんです。 PostgreSQLのクライアントであるpsqlやpg_dumpをmac上で利用したくなりました。が、サ...
こんにちは、さるまりんです。 以前、PostgreSQLでテーブルのカラムの制約をつけたり外したりする方法について書きました。 ...
こんにちは、さるまりんです。 AWSのEC2を使うことがよくあります。 先日「UTCからJSTに変えといて」とふわっと依頼された...
こんにちは、さるまりんです。 以前PHPでJSONを返すプログラムを書きました。 その時、配列をjsonにするためにjson_enc...
こんにちは、さるまりんです。 以前、PHPで月末日を取得するというのをやりました。 今回はJavaでやってみたいと思います。 ...