<commit_before><!DOCTYPE html>
<html>
<head>
	<title>Discovery</title>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
	<meta name="viewport" content="width=device-width, initial-scale=1.0">
	<link rel="stylesheet" type="text/css" href="css/bootstrap.min.css" media="screen">
	<link rel="stylesheet" type="text/css" href="css/leaflet.css">
	<link rel="stylesheet" type="text/css" href="css/leaflet.draw.css">
	<link rel="stylesheet" type="text/css" href="css/styles.css">
</head>
<body>

	<div class="navbar navbar-fixed-top">
		<div class="navbar-inner">
			<a class="brand" href="#">Discovery</a>
			<form id="connection-form" class="navbar-form pull-left">
				<div id="control-group" class="control-group">
					<div class="controls">
						<input type="text" id="url" placeholder="Server ip / host">
						<select id="index" class="input-small"></select>
						<button type="button" id="connect" class="btn">Connect</button>
						<button type="button" id="disconnect" class="btn">Disconnect</button>
					</div>
				</div>
			</form>
			<form id="search-form" class="navbar-form pull-right">
				<div class="btn-group">
					<button type="button" id="search" class="btn disabled"><i class="icon-search"></i> Search</button>
					<button type="button" class="btn dropdown-toggle disabled" data-toggle="dropdown">
						<span class="caret"></span>
					</button>
					<div class="dropdown-menu pull-right query-options">
						<fieldset>
							<legend>Query options</legend>
							<h5>Search on indices…</h5>
							<label class="checkbox inline"><input type="checkbox" name="types" value="node" checked> Node</label> 
							<label class="checkbox inline"><input type="checkbox" name="types" value="way" checked> Way</label>
							<h5>Max results…</h5>
							<input type="text" id="max-results" class="input-small" placeholder="Default (10)">
							<h5>Filter by name…</h5>
							<input type="text" id="name" class="input-small" placeholder="Name">
							<h5>Filter by tags…</h5>
							<div id="filters"></div>
							<button type="button" id="add-filter" class="btn"><i class="icon-plus"></i></button>
						</fieldset>
					</div>
				</div>
				<button type="button" class="btn" data-toggle="modal" data-target="#about"><i class="icon-question-sign"></i></button>
			</form>
			<span id="took" class="navbar-text pull-right"></span>
		</div>
	</div>

	<div id="map"> 
		<div id="map-canvas" class="map-canvas"></div>
	</div>
	
	<div id="about" class="modal hide fade">
		<div class="modal-header">
			<h3>About</h3>
		</div>
		<div class="modal-body">
			<p><a href="https://github.com/ncolomer/discovery" target="_blank">Discovery</a> is an <a href="http://www.elasticsearch.org/"  target="_blank">elasticsearch</a> site plugin to visualize <a href="http://www.openstreetmap.org/"  target="_blank">OpenStreetMap</a><br/> data, indexed using the <a href="https://github.com/ncolomer/elasticsearch-osmosis-plugin" target="_blank">elasticsearch-osmosis-plugin</a>.</p>
			<p>It uses these (really!) great plugins: 
				<ul>
					<li><a href="http://jquery.com/" target="_blank">jQuery</a> and <a href="http://twitter.github.io/bootstrap/" target="_blank">Bootstrap</a> for the UI</li><commit_msg>Add version number in "About" section<commit_after><!DOCTYPE html>
<html>
<head>
	<title>Discovery</title>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
	<meta name="viewport" content="width=device-width, initial-scale=1.0">
	<link rel="stylesheet" type="text/css" href="css/bootstrap.min.css" media="screen">
	<link rel="stylesheet" type="text/css" href="css/leaflet.css">
	<link rel="stylesheet" type="text/css" href="css/leaflet.draw.css">
	<link rel="stylesheet" type="text/css" href="css/styles.css">
</head>
<body>

	<div class="navbar navbar-fixed-top">
		<div class="navbar-inner">
			<a class="brand" href="#">Discovery</a>
			<form id="connection-form" class="navbar-form pull-left">
				<div id="control-group" class="control-group">
					<div class="controls">
						<input type="text" id="url" placeholder="Server ip / host">
						<select id="index" class="input-small"></select>
						<button type="button" id="connect" class="btn">Connect</button>
						<button type="button" id="disconnect" class="btn">Disconnect</button>
					</div>
				</div>
			</form>
			<form id="search-form" class="navbar-form pull-right">
				<div class="btn-group">
					<button type="button" id="search" class="btn disabled"><i class="icon-search"></i> Search</button>
					<button type="button" class="btn dropdown-toggle disabled" data-toggle="dropdown">
						<span class="caret"></span>
					</button>
					<div class="dropdown-menu pull-right query-options">
						<fieldset>
							<legend>Query options</legend>
							<h5>Search on indices…</h5>
							<label class="checkbox inline"><input type="checkbox" name="types" value="node" checked> Node</label> 
							<label class="checkbox inline"><input type="checkbox" name="types" value="way" checked> Way</label>
							<h5>Max results…</h5>
							<input type="text" id="max-results" class="input-small" placeholder="Default (10)">
							<h5>Filter by name…</h5>
							<input type="text" id="name" class="input-small" placeholder="Name">
							<h5>Filter by tags…</h5>
							<div id="filters"></div>
							<button type="button" id="add-filter" class="btn"><i class="icon-plus"></i></button>
						</fieldset>
					</div>
				</div>
				<button type="button" class="btn" data-toggle="modal" data-target="#about"><i class="icon-question-sign"></i></button>
			</form>
			<span id="took" class="navbar-text pull-right"></span>
		</div>
	</div>

	<div id="map"> 
		<div id="map-canvas" class="map-canvas"></div>
	</div>
	
	<div id="about" class="modal hide fade">
		<div class="modal-header">
			<h3>About <small>v1.0</small></h3>
		</div>
		<div class="modal-body">
			<p><a href="https://github.com/ncolomer/discovery" target="_blank">Discovery</a> is an <a href="http://www.elasticsearch.org/"  target="_blank">elasticsearch</a> site plugin to visualize <a href="http://www.openstreetmap.org/"  target="_blank">OpenStreetMap</a><br/> data, indexed using the <a href="https://github.com/ncolomer/elasticsearch-osmosis-plugin" target="_blank">elasticsearch-osmosis-plugin</a>.</p>
			<p>It uses these (really!) great plugins: 
				<ul>
					<li><a href="http://jquery.com/" target="_blank">jQuery</a> and <a href="http://twitter.github.io/bootstrap/" target="_blank">Bootstrap</a> for the UI</li>
{'fraction_non_alphanumeric': 0.205963725791577, 'fraction_numerical': 0.004918536735321242, 'mean_word_length': 4.43609022556391, 'pattern_counts': {'":': 0, '<': 219, '<?xml version=': 0, '>': 219, 'https://': 4, 'lorem ipsum': 0, 'www.': 4, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2033433', 'n_tokens_mistral': 2528, 'n_tokens_neox': 2131, 'n_words': 435}