This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?php | |
$start = false; | |
if( isset( $_GET['start'] ) ){ | |
$start = $_GET['start']; | |
} | |
// recpt1が既に実行されているか確認。 | |
// 実行されていればpidを、されていなければfalseを返す。 | |
function checkPidOfRecpt1(){ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;; switch-to-buffer で 存在しないバッファ名を指定した時に新規バッファとして開けるようにする。 | |
(defun switch-to-buffer-extension (prompt) | |
(interactive | |
(list (read-buffer "Switch to buffer: " (other-buffer (current-buffer))))) | |
(switch-to-buffer prompt)) | |
(global-set-key "\C-xb" 'switch-to-buffer-extension) |