From 4fdc3d9e157965af6cf6220e0b7b5b7e5dc179bd Mon Sep 17 00:00:00 2001 From: Anderson Mesquita Date: Mon, 4 Jun 2018 11:48:30 +0200 Subject: [PATCH] Rename scripting file In order to add the more scripting examples, it makes sense to rename this file and avoid confusion. --- docs/src/content/addons-scripting.md | 2 +- examples/addons/{scripting.py => scripting-headers.py} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename examples/addons/{scripting.py => scripting-headers.py} (100%) diff --git a/docs/src/content/addons-scripting.md b/docs/src/content/addons-scripting.md index e31d291a9..f9973b9ef 100644 --- a/docs/src/content/addons-scripting.md +++ b/docs/src/content/addons-scripting.md @@ -14,4 +14,4 @@ handler functions in the module scope. For instance, here is a complete script that adds a header to every request. -{{< example src="examples/addons/scripting.py" lang="py" >}} \ No newline at end of file +{{< example src="examples/addons/scripting-headers.py" lang="py" >}} diff --git a/examples/addons/scripting.py b/examples/addons/scripting-headers.py similarity index 100% rename from examples/addons/scripting.py rename to examples/addons/scripting-headers.py