Appendix H. External Projects

| Appendix H. External Projects  |                     |                     |                  |                                 |
|:------------------------------:|---------------------|---------------------|------------------|---------------------------------|
|[Prev](contrib-prog-server.html)|[Up](appendixes.html)|Part VIII. Appendixes|[Home](index.html)| [Next](external-interfaces.html)|

---

## Appendix H. External Projects

**Table of Contents**

[H.1. Client Interfaces](external-interfaces.html)[H.2. Administration Tools](external-admin-tools.html)[H.3. Procedural Languages](external-pl.html)[H.4. Extensions](external-extensions.html)

PostgreSQL is a complex software project, and managing the project is difficult. We have found that many enhancements to PostgreSQL can be more efficiently developed separately from the core project.

---

|[Prev](contrib-prog-server.html)|[Up](appendixes.html)| [Next](external-interfaces.html)|
|:-------------------------------|:-------------------:|--------------------------------:|
|    G.2. Server Applications    | [Home](index.html)  |      H.1. Client Interfaces     |

 // \<![CDATA[ \<-- For SVG support if ('WebSocket' in window) { (function() { function refreshCSS() { var sheets = [].slice.call(document.getElementsByTagName("link")); var head = document.getElementsByTagName("head")[0]; for (var i = 0; i \< sheets.length; ++i) { var elem = sheets[i]; head.removeChild(elem); var rel = elem.rel; if (elem.href && typeof rel != "string" || rel.length == 0 || rel.toLowerCase() == "stylesheet") { var url = elem.href.replace(/(&|\\?)\_cacheOverride=\\d+/, ''); elem.href = url + (url.indexOf('?') \>= 0 ? '&' : '?') + '\_cacheOverride=' + (new Date().valueOf()); } head.appendChild(elem); } } var protocol = window.location.protocol === 'http:' ? 'ws://' : 'wss://'; var address = protocol + window.location.host + window.location.pathname + '/ws'; var socket = new WebSocket(address); socket.onmessage = function(msg) { if (msg.data == 'reload') window.location.reload(); else if (msg.data == 'refreshcss') refreshCSS(); }; console.log('Live reload enabled.'); })(); } // ]]\>