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
DELIMITER ;; | |
CREATE FUNCTION overlap_interval(x INT,y INT,a INT,b INT) | |
RETURNS INTEGER DETERMINISTIC | |
BEGIN | |
DECLARE | |
overlap_amount INTEGER; | |
IF (((x <= a) AND (a < y)) OR ((x < b) AND (b <= y)) OR (a < x AND y < b)) THEN | |
IF (x < a) THEN | |
IF (y < b) THEN |
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
scriptencoding utf-8 | |
set encoding=utf-8 | |
set guifont=Consolas:h12:cANSI:qDRAFT | |
map! ^? ^H | |
inoremap <S-CR> <Esc> | |
map <Right> :bn<cr> | |
map <Left> :bp<cr> |
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
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" | |
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> | |
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> | |
<!-- BEGIN HEAD --> | |
<head> | |
<title>Sample Page</title> | |
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> | |
<link rel="Shortcut Icon" href="./favicon.ico" type="image/x-icon" /> | |
<link rel="stylesheet" href="./css/style.css" type="text/css" media="screen,handheld" /> |
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
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" | |
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> | |
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" dir="ltr"> | |
<head> | |
<meta http-equiv="content-type" content="text/html; charset=utf-8" /> | |
<title><?php echo $title; ?></title> | |
<link rel="shortcut icon" type="image/png" href="favicon.png" /> | |
<link rel="stylesheet" href="./css/reset.css" type="text/css" media="all" /> | |
<link rel="stylesheet" href="./css/text.css" type="text/css" media="all" /> | |
<link rel="stylesheet" href="./css/style.css" type="text/css" media="screen, projection" /> |
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
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" | |
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> | |
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> | |
<!-- BEGIN HEAD --> | |
<head> | |
<title>Sample Page</title> | |
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> | |
<link rel="Shortcut Icon" href="./favicon.ico" type="image/x-icon" /> | |
<link rel="stylesheet" href="./css/style.css" type="text/css" media="screen,handheld" /> |
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 | |
/** | |
* CIDR.php | |
* | |
* Utility Functions for IPv4 ip addresses. | |
* Supports PHP 5.3+ (32 & 64 bit) | |
* @author Jonavon Wilcox <[email protected]> | |
* @revision Carlos Guimarães <[email protected]> | |
* @version Wed Mar 12 13:00:00 EDT 2014 | |
*/ |
NewerOlder